trefis/deques
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
TRE: a Coq implementation of Tarjan & Kaplan "Real-Time Deques with Catenation"
99 commits 4 branches 0 tags 144 KiB
  • Rocq Prover 92.7%
  • OCaml 6.3%
  • Makefile 1%
Find a file
Exact
Thomas Refis 1354b18232 Small factorisation: merge push & inject and pop & eject on deques
2013-11-17 16:03:10 +01:00
first_structure Small factorisation: merge push & inject and pop & eject on deques 2013-11-17 16:03:10 +01:00
journal.txt Updated journal. 2013-03-27 14:45:14 +01:00