girl
✿
pages
📚
sections
📦
packages
🌗
home
›
📦 packages
› 📦 drat2er-tools
📦 drat2er-tools
1 page
✨ every source
fedora
all of fedora
43
44
D
D
drat2er
(1)
Proof transformer for propositional logic
✨
💅
getting it ready, bestie…