projects / helm.git / tree
| -rw-r--r-- | 4696 | AlgReflection.mma | blob | raw |
| -rw-r--r-- | 1500 | DiffTactics1.mma | blob | raw |
| -rw-r--r-- | 7479 | DiffTactics2.mma | blob | raw |
| -rw-r--r-- | 3402 | DiffTactics3.mma | blob | raw |
| -rw-r--r-- | 6008 | FieldReflection.mma | blob | raw |
| -rw-r--r-- | 5835 | GroupReflection.mma | blob | raw |
| -rw-r--r-- | 1822 | Opaque_algebra.mma | blob | raw |
| -rw-r--r-- | 7694 | RingReflection.mma | blob | raw |
| -rw-r--r-- | 2037 | Step.mma | blob | raw |
| -rw-r--r-- | 1938 | Transparent_algebra.mma | blob | raw |