3 ms·
Here is a plan to improve proof assistants, and it is based on set theory: https://www.practal.com https://www.practal.com
by auggierose 6y ago
Here is a plan to improve proof assistants, and it is based on set theory: https://www.practal.com https://www.practal.com