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