The directed Van Kampen Theorem in Lean
- Author(s):
- Basold, H. (0000-0001-7610-8331); Bruin, P.J. (0000-0002-1641-7818); Lawson, D.R.
- Editor(s):
- Bertot, Y.; Kutsia, T.; Norrish, M.
- Published
- 2024
- Publication type
- Article in monograph or in proceedings
- Date issued
- 2024
- Language
- English
- Publisher
- Schloss Dagstuhl – LZI GmbH
- Is part of
- Leibniz International Proceedings in Informatics (LIPICS) (2024), Vol. 309, pt. 309, p. 8:1-8:18, 8
- hdl
- 1887/4176739
- doi
- 10.4230/LIPIcs.ITP.2024.8
Conference
- Meeting name
- 15th International Conference on Interactive Theorem Proving (ITP 2024)
- Meeting location
- Tbilisi, Georgia
- Meeting date
- 2024-09-09 - 2024-09-14
Funding
- Sponsorship
- NWO
- Grant number
- 024.003.037
