You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I work on LSTS/LM, which is a proof assistant and a programming language.
2024 roadmap:
β Bootstrap Compiler π₯³ππ
Document the Bootstrap Compiler in "The Bootstrap Booklet"
Sponsorship is a sign of enthusiastic support for a project. I currently spread myself somewhat thin across a variety of topics. If you decide to support a project then please leave a note saying what you are supporting and what you would like to see more of in the future.