4 ms·
Try some lean proofs
by singularity2001 2y ago
Try some lean proofs
- Tainnor 2y agoI already have a project in Lean where I'm developing some complex analysis proofs, but I doubt it'll land me a job (the few job that do seem to exist in that area mostly require a PhD).