676 shaares
2 results
tagged
FormalVerification
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover