Add POPL22 and OOPSLA23 papers - Githubissues

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

https://leanprover-community.github.io/

MIT License

54 stars 123 forks source link

Add POPL22 and OOPSLA23 papers #399

Closed sorawee closed 11 months ago

robertylewis commented 11 months ago

Thanks!