Skip to content

Commit 80d7d21

Browse files
lenianivalenianiva
committed
doc: Add arXiv badge
1 parent d2692f6 commit 80d7d21

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

‎README.md‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
# PyPantograph
22

3+
[![arXiv](https://img.shields.io/badge/cs.LO-2410.16429-b31b1b?logo=arxiv&logoColor=red)](https://arxiv.org/abs/2410.16429)
4+
35
A Machine-to-Machine Interaction System for Lean 4.
46

57
## Installation

0 commit comments

Comments
 (0)