github-starred/awesome-tuis
2
0
Fork 0
mirror of https://github.com/rothgar/awesome-tuis.git synced 2026-10-17 13:21:14 -05:00
Code Issues 780 Packages Projects Releases Wiki Activity
656 Commits 3 Branches 0 Tags
readme-alphabetical-cleanup
Commit Graph
1 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Willem VanhulleandGitHub 525f1a6712 feat: lean-tui for Lean proof-assistant (#531) 2026-02-17 17:40:32 -08:00