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