Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
isa-afp
afp-devel
Merge requests
Open
1
Merged
21
Closed
2
All
24
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Created date
Updating Risk Free Lending Entry
!24
· created
Jan 16, 2023
by
Matthew Doty
MERGED
0
updated
Jan 19, 2023
Construction for anchord GTT intersection added
!23
· created
Oct 06, 2022
by
Ley789
Approved
0
updated
Oct 06, 2022
Registers:
!22
· created
Nov 08, 2021
by
Dominique Unruh
MERGED
Approved
3
updated
Nov 09, 2021
Update Bounded_Deducibility_Security
!21
· created
Aug 12, 2021
by
Thomas Bauereiss
MERGED
0
updated
Aug 17, 2021
Updating Jinja from apply-style to Isar-style
!20
· created
May 28, 2021
by
Susannah Mansky
MERGED
1
updated
Jun 15, 2021
Extend entry Szpilrajn
!19
· created
Mar 22, 2021
by
Lukas Stevens
MERGED
0
updated
Mar 25, 2021
exclude another session on Mac
!18
· created
Jun 29, 2020
by
Lars Hupel
MERGED
0
updated
Jun 29, 2020
Branch merge request
!17
· created
Jun 29, 2020
by
Ghost User
MERGED
0
updated
Jun 29, 2020
topic merge
!16
· created
Jun 29, 2020
by
Ghost User
branch/devel
MERGED
0
updated
Jun 29, 2020
move lemma less_multiset_doubletons
!15
· created
Jan 28, 2020
by
Bitbucket Importer
MERGED
0
updated
Jan 28, 2020
EPO: adapt totality proof to suit paper
!14
· created
Jan 24, 2020
by
Bitbucket Importer
MERGED
1
updated
Jun 22, 2020
EPO: switch size measure
!13
· created
Dec 13, 2019
by
Bitbucket Importer
MERGED
0
updated
Dec 13, 2019
Deep Learning: minor additions
!12
· created
Jul 12, 2018
by
Bitbucket Importer
MERGED
0
updated
Jul 20, 2018
interpretations for locales in deep learning
!11
· created
Feb 09, 2018
by
Bitbucket Importer
MERGED
0
updated
Feb 26, 2018
Private_Ownership_Economy.thy edited online with
!10
· created
Sep 26, 2017
by
Bitbucket Importer
CLOSED
0
updated
Mar 19, 2018
Deep Learning: remove out-dated TODOs
!9
· created
Apr 06, 2017
by
Bitbucket Importer
MERGED
0
updated
Apr 06, 2017
Deep_Learning restructuring + fixes
!8
· created
Apr 04, 2017
by
Bitbucket Importer
MERGED
0
updated
Apr 04, 2017
1497fa0af783
!7
· created
Aug 09, 2016
by
Bitbucket Importer
MERGED
1
updated
Jun 22, 2020
Add statistics page
!6
· created
Jul 19, 2016
by
Bitbucket Importer
MERGED
4
updated
Jun 22, 2020
Add statistics page
!5
· created
Jul 19, 2016
by
Bitbucket Importer
CLOSED
0
updated
Jul 20, 2016
Prev
1
2
Next