swh:1:snp:285d0862cad82752ceda4e56bdf44014e05fbf49
Tip revision: 138245ce9172b45d91ec49eda1cc67ef155bc14e authored by Andrej Dudenhefner on 26 March 2024, 12:06:22 UTC
Merge pull request #218 from mrhaandi/fix-Arguments-typo
Merge pull request #218 from mrhaandi/fix-Arguments-typo
Tip revision: 138245c
File | Mode | Size |
---|---|---|
CFG | ||
CounterMachines | ||
DiophantineConstraints | ||
FOL | ||
FRACTRAN | ||
H10 | ||
HOU | ||
HilbertCalculi | ||
ILL | ||
IntersectionTypes | ||
L | ||
LambdaCalculus | ||
MinskyMachines | ||
MuRec | ||
PCP | ||
PolynomialConstraints | ||
SOL | ||
SemiUnification | ||
SeparationLogic | ||
SetConstraints | ||
Shared | ||
StackMachines | ||
StringRewriting | ||
Synthetic | ||
SystemF | ||
TM | ||
.gitignore | -rw-r--r-- | 11 bytes |
Makefile | -rw-r--r-- | 589 bytes |
_CoqProject | -rw-r--r-- | 20.0 KB |