Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
concordium
smart-contract-interactions
Commits
11a302b2
Commit
11a302b2
authored
Mar 04, 2019
by
Jakob Botsch Nielsen
Browse files
Build Monads.v
parent
c781f40d
Pipeline
#11035
passed with stage
in 4 minutes and 25 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
_CoqProject
View file @
11a302b2
-R src SmartContracts
src/Blockchain.v
src/Congress.v
src/Monads.v
src/Oak.v
-R vendor/record-update RecordUpdate
vendor/record-update/RecordSet.v
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment