-
Notifications
You must be signed in to change notification settings - Fork 91
Insights: leanprover/verso
Overview
-
- 11 Merged pull requests
- 3 Open pull requests
- 1 Closed issue
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
11 Pull requests merged by 2 people
-
chore: bump nightly testing to 2025-06-24 and merge main
#455 merged
Jun 25, 2025 -
chore: update highlighting contexts to reflect SubVerso changes
#446 merged
Jun 25, 2025 -
chore: bump to nightly-2025-06-23 and merge
main#452 merged
Jun 23, 2025 -
fix: respect
nonefor section tags in manual genre#451 merged
Jun 23, 2025 -
feat: linter for missing section tags in manual genre
#450 merged
Jun 23, 2025 -
feat: add part generation and info-string checking in Markdown elab
#445 merged
Jun 20, 2025 -
fix: display multiple authors correctly
#449 merged
Jun 20, 2025 -
feat: add linters for extra markup
#448 merged
Jun 20, 2025 -
chore: bump nightly-testing to 2025 06 20 and merge main
#447 merged
Jun 20, 2025 -
feat: cross-references between documents
#441 merged
Jun 20, 2025 -
feat: allow parts to disable showing inline HTML ToC
#444 merged
Jun 20, 2025
3 Pull requests opened by 2 people
-
feat: Add `Book` for bibliography
#443 opened
Jun 19, 2025 -
WIP: produce Expr directly for Verso docs instead of term syntax
#453 opened
Jun 25, 2025 -
feat: allow hiding Lean block proof states in blog genre
#456 opened
Jun 25, 2025
1 Issue closed by 1 person
-
Running lake exe demotextbook modifies source files, causing subsequent runs to fail
#437 closed
Jun 20, 2025