Lean Proofs

refactor: migrate Markdown to AsciiDoc #34

Sign in to view logs

Triggered via pull request August 24, 2026 07:46

opened #116

refactor/md-to-adoc

Status Success

Total duration 57m 44s

Artifacts –

lean-proofs.yml

on: pull_request

Build Lean proofs (oracle)