aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 13 Pull Requests 4 Packages Projects Releases Wiki Activity

Merge pull request #12 from lenianiva/doc/cite 

doc: Add citation format
This commit is contained in:
Leni Aniva 2024-09-09 12:41:31 -07:00 committed by GitHub
parent 889aa79c18 75ada0b5ad
commit 180f1b1313
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
README.md
View File

@ -25,3 +25,14 @@ The tests in `pantograph/server.py` also serve as simple interaction examples
## Examples ## Examples
See `examples/README.md` See `examples/README.md`
## Referencing
```bib
@misc{pantograph,
title = "Pantograph, A Machine-to-Machine Interface for Lean 4",
author = {Aniva, Leni and Miranda, Brando and Sun, Chuyue},
year = 2024,
howpublished = {\url{https://github.com/lenianiva/PyPantograph}}
}
```