Sleeping
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 about 2 months ago
Ray5th/Lean4-helper liked a Space about 2 months ago
Ray5th/Lean4-helper updated a Space about 2 months ago
Ray5th/Lean4-helperOrganizations
None yet