coq
Coq kernel for Jupyter
An API for interfacing with Coq through Tactician by external agents
Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning
