Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Reference previous specifications & other material #341

Open
WhatisRT opened this issue Dec 19, 2023 · 0 comments · May be fixed by #659
Open

Reference previous specifications & other material #341

WhatisRT opened this issue Dec 19, 2023 · 0 comments · May be fixed by #659
Assignees
@williamdemeo
Labels
documentation Improvements or additions to documentation

Comments

@WhatisRT
Copy link
Collaborator

Since the PDF will eventually cover all specs, we should also cite all related work properly. The easiest way to do this would be to take the *.bib files from the old specs & combine them, while also adding references to those specs themselves.
@WhatisRT WhatisRT added the documentation Improvements or additions to documentation label Dec 19, 2023
williamdemeo added a commit to formalverification/formal-ledger-specifications that referenced this issue Jan 30, 2025
@williamdemeo
Reference previous specifications & other material
f1fbf3c 
This addresses IntersectMBO#341.
williamdemeo added a commit that referenced this issue Jan 30, 2025
@williamdemeo
Reference previous specifications & other material
61d03e8 
This addresses #341.
@williamdemeo williamdemeo linked a pull request Jan 30, 2025 that will close this issue
Reference previous specifications & other material #659
Open
4 tasks
@williamdemeo williamdemeo linked a pull request Jan 30, 2025 that will close this issue
Open
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@williamdemeo williamdemeo

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Reference previous specifications & other material IntersectMBO/formal-ledger-specifications
2 participants
@WhatisRT @williamdemeo