Camil Champin

According to our database, Camil Champin authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Delooping generated groups in homotopy type theory.

Camil Champin, Samuel Mimram

Dataset, November, 2024

Delooping Generated Groups in Homotopy Type Theory.

Camil Champin, Samuel Mimram, Émile Oleon

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024