Activity · POTTIER Francois / coq-smbt · GitLab

Mentions légales du service

Snippets Groups Projects

GitLab upgrade completed. Current version is 17.11.3.

1 year ago

POTTIER Francois @fpottier

pushed to branch main at POTTIER Francois / coq-smbt

7930d0ab · TODO.

1 year ago

POTTIER Francois @fpottier

pushed to branch main at POTTIER Francois / coq-smbt

6cae3513 · README.
... and 1 more commit. Compare e8bd364b...6cae3513

1 year ago

POTTIER Francois @fpottier

pushed to branch main at POTTIER Francois / coq-smbt

e8bd364b · Prove that a couple natural-looking laws are false.
... and 1 more commit. Compare 77173e6d...e8bd364b

1 year ago

POTTIER Francois @fpottier

pushed to branch main at POTTIER Francois / coq-smbt

77173e6d · Show that [max] and [max'] coincide.
... and 1 more commit. Compare 3941d428...77173e6d

1 year ago

POTTIER Francois @fpottier

pushed to branch main at POTTIER Francois / coq-smbt

3941d428 · Cleanup of local tactics.
... and 1 more commit. Compare e65ce4c2...3941d428

1 year ago

POTTIER Francois @fpottier

pushed to branch main at POTTIER Francois / coq-smbt

e65ce4c2 · Cleanup.
... and 7 more commits. Compare 89fe20a5...e65ce4c2

1 year ago

POTTIER Francois @fpottier

pushed to branch main at POTTIER Francois / coq-smbt

89fe20a5 · Done cleaning up Brouwer.
... and 8 more commits. Compare 2e951a77...89fe20a5

1 year ago

POTTIER Francois @fpottier

pushed to branch main at POTTIER Francois / coq-smbt

2e951a77 · Cleanup.
... and 3 more commits. Compare bafcf3ab...2e951a77

1 year ago

POTTIER Francois @fpottier

pushed to branch main at POTTIER Francois / coq-smbt

bafcf3ab · Simplify a proof.

1 year ago

POTTIER Francois @fpottier

pushed to branch main at POTTIER Francois / coq-smbt

33a7650f · Clean up imports.
... and 5 more commits. Compare b3dd65af...33a7650f

1 year ago

POTTIER Francois @fpottier

pushed new branch main at POTTIER Francois / coq-smbt

1 year ago

POTTIER Francois @fpottier

created project POTTIER Francois / coq-smbt