Pinned Repositories
advents
Advent of Code
Atelier_Lean_2023
blog
Source for the community blog
get_mathlib4_with_cache
A GitHub workflow action that produces a working copy of Mathlib
Glossary
import-graph
Tool to analyse the import structure of lean projects.
lean3-tactic-lean4
Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
lean4-metaprogramming-book
MA4N1_2023
MA4N1 Theorem Proving with Lean
UpdateDeprecations
adomani's Repositories
adomani/MA4N1_2023
MA4N1 Theorem Proving with Lean
adomani/advents
Advent of Code
adomani/Atelier_Lean_2023
adomani/UpdateDeprecations
adomani/blog
Source for the community blog
adomani/get_mathlib4_with_cache
A GitHub workflow action that produces a working copy of Mathlib
adomani/Glossary
adomani/import-graph
Tool to analyse the import structure of lean projects.
adomani/lean3-tactic-lean4
Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
adomani/lean4-metaprogramming-book
adomani/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
adomani/lftcm2020
Lean for the Curious Mathematician 2020
adomani/Schemes_not_much
Glossary of Schemes
adomani/std4_rat_unext
Standard Library for Lean 4
adomani/Syllabus
MA3H5 and MA4N1 syllabi
adomani/testCI
A repository for CI experiments