An error occurred while fetching folder content.
Max Ole Elliger
authored
Implemented subst_f_ite, f_deriv_ite, ... Missing: Proof of evaluation strategies CBV and CBN for the new definitions
| Name | Last commit | Last update |
|---|