To whoever wrote “one of the best Coq artifacts I’ve ever seen” on their review: You just made my day!
Librem Social is an opt-in public network. Messages are shared under Creative Commons BY-SA 4.0 license terms. Policy. Stay safe. Please abide by our code of conduct. (Source code)
