References

1. Available at https://coq.inria.fr/refman/.
2. Available at https://github.com/harp-project/AML-Formalization/releases/tag/v1.0.6.
3. doi:10.1007/978-3-540-74591-4_3.
4. doi:10.1016/j.entcs.2007.01.028.
5. doi:10.1007/11541868_4.
6. doi:10.1007/978-3-662-07964-5.
7. doi:10.1145/2676726.2676982.
8. doi:10.1145/3018610.3018616.
9. Available at https://github.com/digama0/lean-type-theory/releases/tag/v1.0.
10. doi:10.1007/s10817-011-9225-2.
11. doi:10.1007/978-3-030-81688-9_23.
12. Available at http://hdl.handle.net/2142/107781.
13. doi:10.1016/j.jlamp.2021.100638.
14. doi:10.1109/LICS.2019.8785675.
15. Available at http://hdl.handle.net/2142/102281.
16. doi:10.1145/3408970.
17. doi:10.1093/logcom/13.6.801.
18. doi:10.1145/3314221.3314601.
19. doi:10.1007/978-3-540-78800-3_24.
20. doi:10.1007/3-540-57826-9_152.
21. Available at http://hdl.handle.net/2142/45275.
22. doi:10.1007/978-3-319-41528-4_24.
23. doi:10.1145/2813885.2737979.
24. doi:10.1109/CSF.2018.00022.
25. Available at https://github.com/kframework/matching-logic-proof-checker.
26. doi:10.48550/arXiv.1804.10806.
27. doi:10.1145/3445814.3446751.
28. doi:10.1007/978-3-642-14052-5_22.
29. doi:10.1145/3236772.
30. doi:10.1145/3009837.3009855.
31. Available at https://xavierleroy.org/POPLmark/locally-nameless/.
32. Available at https://gitlab.mpi-sws.org/iris/stdpp.
33. doi:10.1145/1017472.1017477.
34. doi:10.1007/978-3-642-03359-9_24.
35. Available at http://us.metamath.org.
36. doi:10.1145/2737924.2737991.
37. Available at https://mural.maynoothuniversity.ie/6461/1/JP-Working-Linear-Logic.pdf.
38. doi:10.23638/LMCS-13(4:28)2017.
39. doi:10.1145/3341690.
40. doi:10.2140/PJM.1955.5.285.
41. doi:10.1109/TASE.2018.00014.
42. Available at https://www.cs.ru.nl/~freek/notes/holl2coq.pdf.
43. doi:10.1016/j.entcs.2018.10.014.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org