Giters

rod-chapman / isqrt

Implementations and proofs of integer square root

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

isqrt

Implementations and proofs of integer square root

About

Implementations and proofs of integer square root

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:Ada 94.2%Language:Rust 5.8%