Skip to content

docs: add English Lean4 proof propositions catalog

38f5aea
Select commit
Loading
Failed to load commit list.
Open

docs: add Lean4 proof propositions catalog (JP + EN) #696

docs: add English Lean4 proof propositions catalog
38f5aea
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs