Skip to content
Snippets Groups Projects
Marc Fabian Lindner's avatar
pushed to branch main at Marc Fabian Lindner / Coq-Tail-Recursion-Detection
  • 905eb4e8 · Mutual Fixpoint support added
Marc Fabian Lindner's avatar
closed issue #1 "Ill-formed definition of f_branches and f_args" at Marc Fabian Lindner / Coq-Tail-Recursion-Detection
Marc Fabian Lindner's avatar
pushed to branch main at Marc Fabian Lindner / Coq-Tail-Recursion-Detection
Marc Fabian Lindner's avatar
pushed to branch main at Marc Fabian Lindner / Coq-Tail-Recursion-Detection
  • 41e30ea8 · Another simplification of monad code
Marc Fabian Lindner's avatar
pushed to branch main at Marc Fabian Lindner / Coq-Tail-Recursion-Detection
Marc Fabian Lindner's avatar
pushed to branch main at Marc Fabian Lindner / Coq-Tail-Recursion-Detection
  • dfa96b37 · Fixpoint Well-Formedness fix and recursive checking.
Mario Frank's avatar
opened issue #1 "Ill-formed definition of f_branches and f_args" at Marc Fabian Lindner / Coq-Tail-Recursion-Detection
Mario Frank's avatar
joined project Marc Fabian Lindner / Coq-Tail-Recursion-Detection
Marc Fabian Lindner's avatar
pushed to branch main at Marc Fabian Lindner / Coq-Tail-Recursion-Detection
Marc Fabian Lindner's avatar
pushed to branch main at Marc Fabian Lindner / Coq-Tail-Recursion-Detection
Marc Fabian Lindner's avatar
pushed new branch main at Marc Fabian Lindner / Coq-Tail-Recursion-Detection
Marc Fabian Lindner's avatar
created project Marc Fabian Lindner / Coq-Tail-Recursion-Detection