cic
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Comparing Coq (pCUIC) with HoTT and CubicalTT for common verification tasks | 4 | 1375 | February 12, 2020 | |
Why is η-reduction illegal? | 2 | 891 | August 1, 2019 |
Topic | Replies | Views | Activity | |
---|---|---|---|---|
Comparing Coq (pCUIC) with HoTT and CubicalTT for common verification tasks | 4 | 1375 | February 12, 2020 | |
Why is η-reduction illegal? | 2 | 891 | August 1, 2019 |