Comment by thih9
1 year ago
Background about the organization: https://en.m.wikipedia.org/wiki/Convergent_Research
Their proof assistant / programming language: https://en.m.wikipedia.org/wiki/Lean_(proof_assistant)
1 year ago
Background about the organization: https://en.m.wikipedia.org/wiki/Convergent_Research
Their proof assistant / programming language: https://en.m.wikipedia.org/wiki/Lean_(proof_assistant)
No comments yet
Contribute on Hacker News ↗