An API for interfacing with Coq through Tactician by external agents
Coq kernel for Jupyter
Formally verified biased coin and n-sided die
