girl
✿
pages
📚
sections
📦
packages
🌗
home
›
📦 packages
› 📦 rocq9.1-rocqide
📦 rocq9.1-rocqide
1 page
✨ every source
nixpkgs
all of nixpkgs
unstable
R
R
rocqide
(1)
graphical interface for the Rocq Prover
✨
💅
getting it ready, bestie…