Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
C
coq-pactole
Manage
Activity
Members
Labels
Plan
Issues
0
Issue boards
Milestones
Wiki
Code
Merge requests
0
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
pactole
coq-pactole
Commits
5b57b9c1388dcc60389b8db7775b67bfee6483b9
Select Git revision
Branches
1
public
default
protected
1 result
coq-pactole
CaseStudies
Gathering
InR2
Algorithm_withLight_Assumptions.v
Author
Search by author
Any Author
authors
Lionel Rieg
lrieg
Pierre Courtieu
pcourtieu
Sébastien Tixeuil
stixeuil
Thibaut Balabonski
tbalabonski
Xavier Urbain
xurbain
5 authors
Feb 24, 2025
More cleaning.
· ca816cca
Pierre Courtieu
authored
5 months ago
ca816cca
Jul 22, 2024
No axiom + unfair case + simplified final statements (similarity_demon)
· aae9b5a9
Lionel Rieg
authored
1 year ago
aae9b5a9
Jul 06, 2024
Bivalent with lights compiles without (unwanted) axioms!
· 630c52ab
Pierre Courtieu
authored
1 year ago
630c52ab
Loading
