Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Formal Land
Coq Tezos of OCaml 💫
Merge requests
Open
15
Merged
842
Closed
156
All
1,013
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Import previous repository
!1
· created
Jul 13, 2020
by
Guillaume Claret
Merged
1
updated
Jul 13, 2020
Add a CI file
!2
· created
Jul 13, 2020
by
Guillaume Claret
Merged
updated
Jul 13, 2020
Rename the complete protocol as demo as it is not exactly Babylon
!3
· created
Jul 14, 2020
by
Guillaume Claret
Merged
updated
Jul 15, 2020
More compiling files for proto-proposal
!4
· created
Jul 15, 2020
by
Guillaume Claret
Merged
updated
Jul 16, 2020
Add webpage
!5
· created
Jul 16, 2020
by
Guillaume Claret
Merged
updated
Jul 16, 2020
More changes to the interpreter before abandoning (temporarily)
!6
· created
Jul 17, 2020
by
Guillaume Claret
Merged
updated
Jul 17, 2020
Various improvements for storage.ml
!7
· created
Jul 18, 2020
by
Guillaume Claret
Merged
updated
Jul 18, 2020
Generate and embed the documentation for coq-of-ocaml
!8
· created
Jul 29, 2020
by
Guillaume Claret
Merged
updated
Jul 29, 2020
Upgrade of proto-proposal for the beginning of August
!9
· created
Aug 03, 2020
by
Guillaume Claret
Merged
updated
Aug 03, 2020
Upgrade the protocol to the current version
!10
· created
Aug 18, 2020
by
Guillaume Claret
Merged
updated
Aug 18, 2020
Add more files august
!11
· created
Aug 19, 2020
by
Guillaume Claret
Merged
updated
Aug 19, 2020
August even more files
!12
· created
Aug 24, 2020
by
Guillaume Claret
Merged
updated
Aug 24, 2020
Use a notation for the monadic types
!13
· created
Aug 24, 2020
by
Guillaume Claret
Merged
updated
Aug 24, 2020
Add the sapling content
!14
· created
Sep 03, 2020
by
Guillaume Claret
Merged
updated
Sep 03, 2020
Cosmetic monadic
!15
· created
Sep 03, 2020
by
Guillaume Claret
Merged
updated
Sep 03, 2020
Proto proposal september
!16
· created
Sep 07, 2020
by
Guillaume Claret
Merged
updated
Oct 09, 2020
Changes after the rebase for 007
!17
· created
Oct 12, 2020
by
Guillaume Claret
Merged
updated
Oct 30, 2020
Add a definition of the environment in smaller files
!18
· created
Oct 30, 2020
by
Guillaume Claret
Merged
updated
Oct 30, 2020
Add definitions for the environment
!19
· created
Oct 30, 2020
by
Guillaume Claret
Merged
updated
Nov 02, 2020
Upgrade to proto-proposal on 2020-11-16
!22
· created
Nov 16, 2020
by
Guillaume Claret
Merged
updated
Nov 16, 2020
Prev
1
2
3
4
5
…
43
Next