Skip to content

Apply suggestion from @nomeata

752f528
Select commit
Loading
Failed to load commit list.
Merged

feat: a section about validating lean proofs #744

Apply suggestion from @nomeata
752f528
Select commit
Loading
Failed to load commit list.