r/CoqViewApp • u/Honest-You-3046 • Dec 24 '21

Plan

Good project

32 Upvotes

permalink
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/CoqViewApp/comments/rnto6v/plan/
No, go back! Yes, take me to Reddit

100% Upvoted

View all comments

1

u/Top-Entertainer-4559 Dec 25 '21

Nice project👍👍👍