Skip to content

T-Brick/Numbers

Repository files navigation

Numbers

A library that implements WASM's specification of integers. Specifically this defines integers, both signed and unsigned, that can be selected to have an arbitrary number of bits and then perform a wide variety of operations on them.

WASM spec for integer operations

Originally derived from James Gallichio's implementation of Int32

About

Arbitrary Bit-Length Integers in Lean

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages