Pinned Repositories
pyprover
Python-based theorem prover
combinatory_logic
genetic_SKI
GeoLean
A Lean Library for Axiomatic Geometry(WIP)
lean-example
lean3-example
Lean_dojo_playground
old_news
tukamilano's Repositories
tukamilano/combinatory_logic
tukamilano/genetic_SKI
tukamilano/GeoLean
A Lean Library for Axiomatic Geometry(WIP)
tukamilano/lean-example
tukamilano/lean3-example
tukamilano/Lean_dojo_playground
tukamilano/old_news