Running
1
Lean 4 Proof Assistant
🔮
Generate Lean 4 proofs for given theorems
Rayyan Noushad
Ray5th
·
AI & ML interests
None yet
Recent Activity
updated a Space 1 day ago
Ray5th/Lean4-helper liked a Space 10 days ago
Ray5th/Lean4-helper published a Space 29 days ago
Ray5th/Lean4-helperOrganizations
None yet