/LeanLion

Code for Singapore Workshop on Formal Proofs and Lean

Primary LanguageLeanApache License 2.0Apache-2.0

"Workshop on Formal Proofs and Lean", Singapore, April 2024

This repository contains (or will contain) the code for the Workshop on Formal Proofs and Lean, held in Singapore in April 2024. In addition, I will use the following repositories:

  • LeanAide: AI tools for formalizing statements in Lean and more.
  • SATurn: A SAT solver-prover in Lean.