Product · mentioned 3 times
Open-source proof assistant and programming language used to formally verify mathematical proofs.
No connections recorded yet.
Entrepreneurial Thought Leaders (ETL) · 4 Nov