-
Notifications
You must be signed in to change notification settings - Fork 15
Pull requests: IntersectMBO/formal-ledger-specifications
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
agda2vec introduces extra empty lines
#666
opened Jan 31, 2025 by
williamdemeo
Loading…
3 of 4 tasks
PDF cleanup 282: hide use of
open
for records in pdf
#364
opened Feb 14, 2024 by
williamdemeo
Loading…
3 tasks done
Reference previous specifications & other material
#659
opened Jan 30, 2025 by
williamdemeo
Loading…
3 of 4 tasks
PDF cleanup: explain sigma and pi types
#276
opened Nov 2, 2023 by
williamdemeo
Loading…
3 tasks done
641-incorporate-feedback-from-the-second-audit
#662
opened Jan 30, 2025 by
carlostome
Loading…
25 tasks done
add entry to Makefile for generating a more complete Everything.agda
#55
opened Feb 24, 2023 by
williamdemeo
Loading…
652 remove superscripts from rec constr
#655
opened Jan 29, 2025 by
carlostome
Loading…
3 of 4 tasks
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.