An annotation tool for LangPro, the 'natural LANGuage theorem PROver' developed by dr. Lasha Abzianidze at Utrecht University.
active 2025-11-19 → 2026-08-27 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 282 days from 2025-11-19 to 2026-08-27. Pushes: 47 total, peak 5 in a day. Pull requests: 5 total, peak 3 in a day. Issues: 12 total, peak 4 in a day. Comments: 43 total, peak 5 in a day. Stars: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| XanderVertegaal | 88 | 38 | 5 | 21 |
| jgonggrijp | 45 | 9 | 0 | 21 |
| kovvalsky | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#54kovvalsky2026-05-30 21:42Store LangPro prover results
- Issue comment#91XanderVertegaal2026-04-21 07:22Inject settings.py in deployment
- Issue#93XanderVertegaal2026-04-17 08:48Mount problem data (SICK, FraCaS, SNLI) as volume
- Issue#92XanderVertegaal2026-04-02 09:04Use Compose secrets
- Issue#89XanderVertegaal2026-04-02 06:35Integration of version.ts
- Issue comment#80XanderVertegaal2026-03-24 08:24Return 403 FORBIDDEN upon unauthorized request
- Issue#84jgonggrijp2026-03-23 22:20Occasional hidden overflow on left edge of proof visualization
- Issue#85jgonggrijp2026-03-23 22:20Proof visualization does not support dark mode
- Issue#84jgonggrijp2026-03-23 22:19Occasional hidden overflow on left edge of proof visualization
- Issue#83jgonggrijp2026-03-23 22:10Reduce horizontal space in rendered proof tableaux
- Issue#82XanderVertegaal2026-03-19 08:48Unified "No parse/proof data available yet"
- Issue#82XanderVertegaal2026-03-19 08:48Unified "No parse/proof data available yet"
- Issue comment#79jgonggrijp2026-03-17 23:37Visualize the actual proofs of the current problem with the TableauSVG component
- Issue comment#74XanderVertegaal2026-02-27 11:31Feature/frontend permission checks
- Pull request#76XanderVertegaal2026-02-27 11:26
- Pull request#75XanderVertegaal2026-02-27 11:11
- Pull request#75XanderVertegaal2026-02-27 11:11
- Pull request#72XanderVertegaal2026-02-06 16:01
- Issue#24XanderVertegaal2026-01-16 11:35Build image on GitHub
- Issue#69XanderVertegaal2026-01-16 11:14Annotation log
- Issue comment#68jgonggrijp2026-01-15 14:52Refactor component tests
- Issue comment#63XanderVertegaal2025-12-23 22:41Feature/save kb
- Issue#65XanderVertegaal2025-12-23 10:36Missing permission warnings when migrating
- Pull request#64XanderVertegaal2025-12-17 16:14
- Issue comment#61XanderVertegaal2025-12-11 14:51Feature/user models
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.