-
- Downloads
remove graph edges from history
Showing
- _CoqProject 0 additions, 1 deletion_CoqProject
- theories/examples/history/ghost.v 27 additions, 49 deletionstheories/examples/history/ghost.v
- theories/examples/history/history.v 7 additions, 59 deletionstheories/examples/history/history.v
- theories/examples/history/history_extend.v 0 additions, 377 deletionstheories/examples/history/history_extend.v
- theories/examples/history/spec.v 1 addition, 1 deletiontheories/examples/history/spec.v
- theories/examples/stack/proof_treiber_history.v 46 additions, 46 deletionstheories/examples/stack/proof_treiber_history.v
- theories/examples/stack/spec_history.v 22 additions, 23 deletionstheories/examples/stack/spec_history.v
Loading