greg
0 Followers · 0 Following
  • Joined on 2021-04-16
Repositories
75
 Projects Packages Public Activity Starred Repositories
1
Filter
Sort
lean-tutorial-hashcloak
Lean 0 0 0
Updated 2026-07-22 00:44:31 -07:00
climax
Lean 0 0 0
Lean 4 cli argument parsing
Updated 2026-06-13 13:33:52 -07:00
musubu
Lean 0 0 0
Lean 4 bindgen
Updated 2026-05-18 20:14:17 -07:00
lean-libclang
Lean 0 0 0
Lean bindings to libclang for C parsing
Updated 2026-05-18 20:09:12 -07:00
parser-generator
Lean 0 0 0
Parser generator tests
Updated 2026-05-13 15:58:11 -07:00
provable-parser
Lean 0 0 0
Updated 2026-04-04 13:52:35 -07:00
analysis
Lean 0 0 0
Lean4 version of Terry Tao's analysis
Updated 2026-02-09 21:22:36 -08:00
lean-cs-proofs
Lean 0 0 0
Updated 2026-02-03 03:07:48 -08:00
lean-graphics
Lean 0 0 0
Updated 2025-12-09 04:05:55 -08:00
LeanDoom
Lean 0 0 0
Updated 2025-12-01 02:35:38 -08:00
NNG
Lean 0 0 0
Lean natural number game
Updated 2025-11-12 08:47:51 -08:00
theorem-provers
Lean 0 0 0
My experimentation with theorem provers
Updated 2022-05-30 19:22:51 -07:00