3 ms·
I really should get up to speed with LEAN, I know AI can probably write it better than me but I'd like to grasp it better still...
by zshn 25d ago
I really should get up to speed with LEAN, I know AI can probably write it better than me but I'd like to grasp it better still...
- HEX4AGON 25d agoIf you’ve done functional programming and is familiar with mathematical proofs it should be quite intuitive to read the language