3 ms·
Background about the organization: https://en.m.wikipedia.org/wiki/Convergent_Research https://en.m.wikipedia.org/wiki/Convergent_Research Their proof assistan
by thih9 2y ago
Background about the organization: https://en.m.wikipedia.org/wiki/Convergent_Research https://en.m.wikipedia.org/wiki/Convergent_Research
Their proof assistant / programming language: https://en.m.wikipedia.org/wiki/Lean_(proof_assistant) https://en.m.wikipedia.org/wiki/Lean_(proof_assistant)