zelosleone/lean-theorems

A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.

Language: Lean - Size: 12.7 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 0