https://github.com/formal-land/coq-bonsai

🌳 Generate a fresh bonsai in your terminal
https://github.com/formal-land/coq-bonsai

Last synced: 2 months ago
JSON representation

🌳 Generate a fresh bonsai in your terminal

• Host: GitHub
• URL: https://github.com/formal-land/coq-bonsai
• Owner: formal-land
• License: gpl-3.0
• Created: 2019-12-15T18:44:08.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2021-10-04T10:29:10.000Z (over 3 years ago)
• Last Synced: 2024-09-26T01:47:03.047Z (3 months ago)
• Language: Coq
• Homepage:
• Size: 66.4 KB
• Stars: 24
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project

• awesome-terminal-art - bonsai