lutar-lean-browser — Lean 4 Theorem Browser
🔬
1
Browse 752 Lean 4 declarations and 15 axioms
Stephen Paul Lutar JR PRO
betterwithage
·
AI & ML interests
None yet
Recent Activity
updated a Space about 9 hours ago
SZLHOLDINGS/vessels-app updated a Space about 9 hours ago
SZLHOLDINGS/amaru-platform updated a Space about 9 hours ago
SZLHOLDINGS/lutar-lean-browserOrganizations
liked a
Space about 19 hours ago