aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
hypergraph-conversionImport missing pattern synonymJacques Comeaux5 weeks
mainAdd preliminary setoid of discrete dynamical systemsJacques Comeaux7 days