affeldt-aist

monae. Monadic effects and equational reasoning in Rocq

infotheo. A Rocq formalization of information theory and linear error-correcting codes

robot-rocq. Mathematics of Robotic Manipulation using Rocq and MathComp

succinct. Coq

ssrmint. Python

seplog. ARCHIVE

rocqnavi. An HTML documentation generator for Rocq source files

mathcomp-install. Coq/SSReflect/MathComp installation instructions in Japanese