search

ndslusarz / formal_LDL

MIT License
3 stars 1 forks source link

Link to arXiv once the paper is pushed #27

Open hoheinzollern opened 7 months ago

hoheinzollern commented 7 months ago

In README.md, add a reference to arXiv once the paper is public there.