issues
search
xavierleroy
/
canonical-binary-tries
Coq development accompanying the paper "Efficient Extensional Binary Tries"
BSD 3-Clause "New" or "Revised" License
19
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[FYI, do not merge as-is] Slightly faster variant of Sigma using a dedicated primitive record
#4
andres-erbsen
opened
7 months ago
0
Add `Global`
#3
robbertkrebbers
closed
1 year ago
0
Make clear what versions of Coq are supported
#2
robbertkrebbers
opened
1 year ago
2
Make work with recent versions of Coq
#1
robbertkrebbers
opened
1 year ago
1