Skip to content

Commit 46a8e26

Browse files
zero-to-natzero-to-nat
authored
Add EndianNat for reasoning about representations in different bases and endianness (#2125)
1 parent ac50b8f commit 46a8e26

File tree

2 files changed

+1206
-0
lines changed

2 files changed

+1206
-0
lines changed

0 commit comments

Comments
 (0)