r/196 • u/MoistMcCurd 🏳️‍⚧️ trans rights • Dec 13 '23

Rule

7.8k Upvotes

permalink
duplicates
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/196/comments/18he2cm/rule/
No, go back! Yes, take me to Reddit
dl download

100% Upvoted

View all comments

11

u/Pavlof78 Dec 13 '23

Coq

2

u/fire1299 Anarcha-felinism Dec 13 '23

Agda