Leiden University Scholarly Publications

Persistent URL of this record https://hdl.handle.net/1887/4176739

View statistics

In Collections

This item can be found in the following collections:

Mathematical Institute (MI)

The directed Van Kampen Theorem in Lean

Basold, H.; Bruin, P.J.; Lawson, D.R. (2024)

The directed Van Kampen Theorem in Lean

Article in monograph or in proceedings

All authors: Basold, H.; Bruin, P.J.; Lawson, D.R.

Editor(s): Bertot, Y.; Kutsia, T.; Norrish, M.

Date: 2024

Title of host publication: Leibniz International Proceedings in Informatics (LIPICS); 15th International Conference on Interactive Theorem Proving (ITP 2024)

Volume: 309

Pages: 8:1 - 8:18

DOI: doi:10.4230/LIPIcs.ITP.2024.8

Publication Series

Name: 309

Conference

Conference: 15th International Conference on Interactive Theorem Proving (ITP 2024)

Date: 2024-09-09 - 2024-09-14

Location: Tbilisi, Georgia

Funding

Sponsorship: NWO

Grant number: 024.003.037