formal_systems
LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
of 7 dependencies of formal_systems
1-7Sort by
Require Order
batteries
v4.11.0
The "batteries included" extended library for the Lean programming language and theorem proverQq
v4.11.0
Intuitive, type-safe expression quotations for Lean 4.aesop
v4.11.0
White-box automation for Lean 4proofwidgets
v0.0.41
Helper toolkit for creating your own Lean 4 UserWidgets- Cli
2cf1030
importGraph
v4.11.0
Tool to analyse the import structure of lean projects.- mathlib
20c7314