[1]. Christine Paulin-Mohring. Introduction to the Calculus of Inductive Constructions.
[2]. A. Asperti, W. Ricciotti, C. Sacerdoti Coen, E. Tassi. A compact kernel for the calculus of inductive constructions.
[3]. Frank Pfenning, Christine Paulin-Mohring. Inductively Defined Types in the Calculus of Construction
-
Notifications
You must be signed in to change notification settings - Fork 0
π§ Π§ΠΈΡΠ»Π΅Π½Π½Ρ ΡΠ½Π΄ΡΠΊΡΠΈΠ²Π½ΠΈΡ ΠΊΠΎΠ½ΡΡΡΡΠΊΡΡΠΉ
License
groupoid/per.ex
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Β | Β | |||
Β | Β | |||
Β | Β | |||
Β | Β | |||
Β | Β | |||
Β | Β | |||
Β | Β | |||
Repository files navigation
About
π§ Π§ΠΈΡΠ»Π΅Π½Π½Ρ ΡΠ½Π΄ΡΠΊΡΠΈΠ²Π½ΠΈΡ ΠΊΠΎΠ½ΡΡΡΡΠΊΡΡΠΉ