girl
✿
pages
📚
sections
📦
packages
🌗
home
›
📦 packages
› 📦 prooftree
📦 prooftree
1 page
✨ every source
debian
all of debian
bookworm
fedora
all of fedora
43
44
nixos
all of nixos
26.05
ubuntu
all of ubuntu
jammy
P
P
prooftree
(1)
proof-tree display for Proof General
✨
💅
getting it ready, bestie…