xlade is an open-source command-line development ecosystem for Lean 4, offering advanced tools for formal verification and proof assistance. It is aimed at developers and researchers working in formal methods and theorem proving.
Latest indexed changes and source events
Other apps tracked under the same category.
