Official repository of the DeepIsaHOL project (number: 101102608) titled Reinforcement learning to improve proof-automation in theorem proving

Theory Exploration for Isabelle using HipSpec

Organization and planning for the Initial Types Club

An (very likely incorrect!) implementation of Sized Monads.

TACOS (There's a Cat On the Sundeck) Detector

The Jerbal Space Program