Found 2 Documents (Results 1–2)
Schemes in Lean. (English) Zbl 1497.14003
Reviewer: Marco Benini (Como)
Filter Results by …
all
top 5
Author
- Browning, Thomas L. (1)
- Buzzard, Kevin (1)
- Hughes, Chris (1)
- Lau, Kenny (1)
- Livingston, Amelia (1)
- Lutz, Patrick (1)
- Mir, Ramon Fernández (1)
Software
- Lean (2)
- mathlib (2)
- Isabelle/HOL (1)