| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | AddGetCarry.v | 2517 | logplain |
| -rw-r--r-- | Definitions.v | 1467 | logplain |
| -rw-r--r-- | Div.v | 4569 | logplain |
| -rw-r--r-- | EquivModulo.v | 3573 | logplain |
| -rw-r--r-- | Hints.v | 703 | logplain |
| d--------- | Hints | 146 | logplain |
| -rw-r--r-- | Land.v | 372 | logplain |
| -rw-r--r-- | Modulo.v | 7227 | logplain |
| d--------- | Modulo | 38 | logplain |
| -rw-r--r-- | Morphisms.v | 3174 | logplain |
| -rw-r--r-- | Notations.v | 173 | logplain |
| -rw-r--r-- | Pow2Mod.v | 1987 | logplain |
| -rw-r--r-- | Quot.v | 4309 | logplain |
| -rw-r--r-- | Sgn.v | 344 | logplain |
| -rw-r--r-- | Stabilization.v | 4783 | logplain |
| -rw-r--r-- | Tactics.v | 717 | logplain |
| d--------- | Tactics | 583 | logplain |
| -rw-r--r-- | Testbit.v | 3283 | logplain |
| -rw-r--r-- | ZSimplify.v | 109 | logplain |
| d--------- | ZSimplify | 113 | logplain |
| -rw-r--r-- | Zselect.v | 485 | logplain |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |