An error occurred while fetching folder content.
Forked from
Iris / stdpp
Source project has a limited visibility.
Robbert Krebbers
authored
simplify_equality => simplify_eq simplify_equality' => simplify_eq/= simplify_map_equality => simplify_map_eq simplify_map_equality' => simplify_map_eq/= simplify_option_equality => simplify_option_eq simplify_list_equality => simplify_list_eq f_equal' => f_equal/= The /= suffixes (meaning: do simpl) are inspired by ssreflect.
| Name | Last commit | Last update |
|---|