Home

ask-bis dreaming

I'm dreaming about a successor to the ask proof assistant, reflecting on the good things and the bad things coming from that project. This page is a jumping-off point for some underbaked musings.

• Overview of Approach
• Proving Equations