Skip to content
GitLab
Explore
Sign in
Burkhart Wolff
Isabelle_C
Repository
Branches
Overview
Active
Stale
All
C_2021-1
ea0d413f
·
liufting some results from Optics on lists ...
·
Sep 06, 2023
main
59a86ef9
·
little things.
·
Jun 30, 2023
C_2022
7486feec
·
make example consistent to syntax changes; prepared to Clean_merge for Isabelle2022+
·
May 18, 2023
Clean_AFP
1013d231
·
just a comment
·
May 18, 2022
C_devel_AFP
5f38d029
·
Merge branch 'C_devel_AFP_readme' into C_devel_AFP
·
Mar 06, 2022
C_devel_AFP_readme
f951a4ba
·
Merge branch 'C_devel_autocorres-devel_not_yet_released' into C_devel_AFP_readme
·
Mar 06, 2022
C_AFP
d3f5aaff
·
Merge branch 'C_AFP_readme' into C_AFP
·
Mar 06, 2022
C_AFP_readme
e68d05b5
·
update the generated files
·
Mar 06, 2022
C_2021
03bca3ad
·
Merge branch 'citadelle_2021' into C
·
Dec 26, 2021
C_2020
b738a961
·
update the generated files
·
Dec 25, 2021
C_2019
770a2a14
·
continue
1ac491d3
...
·
Dec 25, 2021
C
default
protected
3641d035
·
Added IsPrime into documentation.
·
Jul 05, 2021
C_AFP_draft
3399b031
·
alpha-rename
·
Oct 22, 2019