Revision 43421222296a5b2b6eee4a0abe245fe9754b94ad authored by Vincent Semeria on 09 January 2021, 14:00:05 UTC, committed by Vincent Semeria on 09 January 2021, 14:21:34 UTC
1 parent 78421b2
| File | Mode | Size |
|---|---|---|
| AlgReflection.v | -rw-r--r-- | 16.9 KB |
| CornTac.v | -rw-r--r-- | 1.9 KB |
| DiffTactics1.v | -rw-r--r-- | 1.4 KB |
| DiffTactics2.v | -rw-r--r-- | 11.8 KB |
| DiffTactics3.v | -rw-r--r-- | 5.5 KB |
| FieldReflection.v | -rw-r--r-- | 36.9 KB |
| Qauto.v | -rw-r--r-- | 1.9 KB |
| Rational.v | -rw-r--r-- | 2.1 KB |
| RingReflection.v | -rw-r--r-- | 32.4 KB |
| Step.v | -rw-r--r-- | 1.4 KB |
| csetoid_rewrite.v | -rw-r--r-- | 57.4 KB |
Computing file changes ...
