Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
Branches
Overview
Active
Stale
All
master
default
protected
566be04c
·
Merge branch 'coq-8.19' into 'master'
·
Apr 22, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
846-forward-propagation-strategy-remove-inline_trivial
103af257
·
Removed inline_trivial
·
Apr 22, 2024
!1058
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bugfix/v1.7
protected
d6e3f3cf
·
Remove spurious debug print
·
Apr 22, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
match_inductive
c5199f82
·
feat (parsing): basic parsing for match inductive
·
Apr 22, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
844-experiment-with-new-command-to-profile-axioms
551e75df
·
First experiments
·
Apr 22, 2024
!1056
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
proper_cuts
cac81afa
·
new example: proper cuts
·
Apr 19, 2024
!1055
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test
dff799e6
·
Merge branch 'bugfix/v1.7'
·
Apr 18, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
stable
protected
1343338d
·
Version 1.7.2
·
Apr 18, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mome
e0cc294f
·
coma: move expl attributes inference from parser to typing
·
Apr 17, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
verifythis-2024-solutions
552c4d28
·
Merge branch 'master' into verifythis-2024-solutions
·
Apr 13, 2024
!1048
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
propagation_minor
f458f00c
·
minor fix, comments for prop error strat
·
Apr 03, 2024
!1043
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
838-problem-with-instantiation-of-interfaces
15770a62
·
Allow more declarations in interfaces
·
Mar 21, 2024
!1038
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
839-forward_propagation-strategy-sin-and-cos-support
13772ae0
·
WIP
·
Mar 15, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
before-dune
ec736b77
·
Split environment variable according to the OS
·
Feb 12, 2024
!888
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
topic/831-kanig-use
42105077
·
Check for existence of goal/lemma in split_theory
·
Jan 29, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar