-
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
641-incorporate-feedback-from-the-second-audit
#662
opened Jan 30, 2025 by
carlostome
Loading…
25 tasks done
Reference previous specifications & other material
#659
opened Jan 30, 2025 by
williamdemeo
Loading…
3 of 4 tasks
652 remove superscripts from rec constr
#655
opened Jan 29, 2025 by
carlostome
Loading…
3 of 4 tasks
PDF cleanup: explain sigma and pi types
#276
opened Nov 2, 2023 by
williamdemeo
Loading…
3 tasks done
add entry to Makefile for generating a more complete Everything.agda
#55
opened Feb 24, 2023 by
williamdemeo
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.