Pages that link to "Item:Q2055901"
From MaRDI portal
The following pages link to The Lean 4 theorem prover and programming language (Q2055901):
Displaying 7 items.
- Certifying algorithms and relevant properties of reversible primitive permutations with \textsf{Lean} (Q2097420) (← links)
- Flexible proof production in an industrial-strength SMT solver (Q2104495) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- Characteristics of de Bruijn’s early proof checker Automath (Q5089679) (← links)
- (Q5094129) (← links)
- The homological arrow polynomial for virtual links (Q5881438) (← links)
- The formal verification of the ctm approach to forcing (Q6151819) (← links)
