TwoFX/grove
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
QA for the Lean standard library
276 commits 7 branches 0 tags 932 KiB
  • Lean 66.1%
  • TypeScript 32.3%
  • CSS 1.1%
  • JavaScript 0.3%
  • Shell 0.1%
Find a file
Exact
Julia Markus Himmel e255833e5b npm audit fix
2026-09-09 15:42:37 +02:00
.github/workflows Rename workflow 2025-06-13 13:41:30 +02:00
.vscode Styling fixes, reformat 2025-12-09 16:39:57 +01:00
backend Change all of the author names 2026-09-08 15:29:18 +02:00
frontend npm audit fix 2026-09-09 15:42:37 +02:00
scripts Export invalidated facts 2025-06-12 14:37:26 +02:00
test-project Change all of the author names 2026-09-08 15:29:18 +02:00
.gitignore Attempts to reduce the amount of generated metadata 2025-07-17 07:35:13 +02:00
LICENSE Initial commit 2025-02-19 15:04:34 +01:00
README.md Leaf widget component 2025-06-06 10:18:50 +02:00

README.md

Grove

Grove is an interactive quality assurance tool for Lean libraries (in particular Lean's own standard library). It is currently under development, with a first usable version expected at the end of the summer. Note that development is currently centered around use cases required for managing the Lean standard library; making the tool usable for other libraries is not a primary goal at the moment.