[auggierose]

Here is a plan to improve proof assistants, and it is based on set theory: https://www.practal.com