Search
 
   

2 results for "domain:leanprover.github.io"

  1. 14
    Theorem Proving in Lean ☶ formalmethods math leanprover.github.io
    bwr avatar via bwr 3 months ago | cached | 1 comment
  2. 19
    Lean Theorem Prover ☶ math leanprover.github.io
    zedoary avatar via zedoary 2 years ago | cached | no comments