coq-bonsai

🌳 Generate a fresh bonsai in your terminal

GitHub

24 stars
3 watching
0 forks
Language: Coq
last commit: about 3 years ago