IMOSLLean4
Formalization of IMO shortlist problems in Lean 4
1-11 of 11 dependencies of IMOSLLean4
Sort by
Require Order
batteries
8feac54The "batteries included" extended library for the Lean programming language and theorem proverQq
v4.12.0-rc1Intuitive, type-safe expression quotations for Lean 4.aesop
e291aa4White-box automation for Lean 4proofwidgets
v0.0.42Helper toolkit for creating your own Lean 4 UserWidgets- Cli
2cf1030 importGraph
fb7841aTool to analyse the import structure of lean projects.- mathlib
8f25b64 - MD4Lean
5e95f47 - UnicodeBasic
7afce91 - BibtexQuery
0a294fe - doc-gen4
1b0072f