tukamilano

Pinned Repositories

pyprover
Python-based theorem prover
Language:Python3 2 00
combinatory_logic
Language:Jupyter Notebook00
genetic_SKI
Language:Python00
GeoLean
A Lean Library for Axiomatic Geometry(WIP)
Language:Lean00
lean-example
Language:Lean00
lean3-example
Language:Lean00
Lean_dojo_playground
Language:Python00
old_news
Language:JavaScript00

tukamilano's Repositories

tukamilano/combinatory_logic
Language:Jupyter Notebook00
tukamilano/genetic_SKI
Language:Python00
tukamilano/GeoLean
A Lean Library for Axiomatic Geometry(WIP)
Language:Lean00
tukamilano/lean-example
Language:Lean00
tukamilano/lean3-example
Language:Lean00
tukamilano/Lean_dojo_playground
Language:Python00
tukamilano/old_news
Language:JavaScript00