Files

theories

Fix warnings, imports

Jan 28, 2025

2d625d0 · Jan 28, 2025

This branch is 58 commits ahead of 8.20.

Name		Name	Last commit message	Last commit date
parent directory ..
HoTT		HoTT	Fix warnings, imports	Jan 28, 2025
Prop		Prop	Fix warnings, imports	Jan 28, 2025
Type		Type	Fix warnings, imports	Jan 28, 2025
CoreTactics.v		CoreTactics.v	Fix warnings, imports	Jan 28, 2025
Init.v		Init.v	Fix Init warning, ci target	Jan 28, 2025
Signature.v		Signature.v	Update copyright notices	May 5, 2021
dune		dune	Fix dune build	Jan 28, 2025