Pull requests: IntersectMBO/formal-ledger-specifications
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Various fixes for issues found by the audit
#425
opened May 10, 2024 by
WhatisRT
Loading…
3 tasks done
Added a helper script for bumping the executable spec repo
#388
opened Apr 9, 2024 by
Soupstraw
Loading…
3 tasks
Prove GA deposits match current proposals: #367
#384
opened Mar 26, 2024 by
williamdemeo
Loading…
3 tasks done
Vertical vectors in LaTeX: script to postprocess agda generated tex files
#373
opened Feb 21, 2024 by
williamdemeo
•
Draft
3 tasks
PDF cleanup 282: hide use of
open for records in pdf
#364
opened Feb 14, 2024 by
williamdemeo
Loading…
3 tasks done
PDF cleanup 282: remove
uncurry from code appearing in pdf
#358
opened Feb 9, 2024 by
williamdemeo
•
Draft
3 tasks
ProTip!
Mix and match filters to narrow down what you’re looking for.