Bump Coq 8.19
Showing
- _CoqProject 2 additions, 0 deletions_CoqProject
- theories/channel/proofmode.v 1 addition, 1 deletiontheories/channel/proofmode.v
- theories/examples/map_reduce.v 4 additions, 4 deletionstheories/examples/map_reduce.v
- theories/examples/par_map.v 1 addition, 1 deletiontheories/examples/par_map.v
- theories/examples/sort_fg.v 4 additions, 4 deletionstheories/examples/sort_fg.v
- theories/logrel/term_typing_rules.v 1 addition, 1 deletiontheories/logrel/term_typing_rules.v
Loading
Please register or sign in to comment