index
:
biteq
main
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
README.org
blob: 702319af7275834be600473ba2a0f59d7eaa6b1f (
plain
)
1
2
3
4
#+title:
BitEQ
#+author:
Yann Herklotz Reasoning about bit equality
