|
Basic.lean
|
fix: remove unnecessary hypothesis (#1144)
|
2022-05-07 15:39:37 -07:00 |
|
Bitwise.lean
|
fix: add missing borrow annotations
|
2021-10-26 11:51:30 -07:00 |
|
Control.lean
|
chore: fix codebase and tests
|
2021-06-29 17:14:52 -07:00 |
|
Div.lean
|
chore: remove temporary workarounds
|
2022-04-09 12:13:37 -07:00 |
|
Log2.lean
|
refactor: simplify log2 termination proof
|
2022-05-18 10:20:36 +02:00 |
|
SOM.lean
|
chore: remove staging workarounds
|
2022-04-26 08:23:43 -07:00 |
