Skip to content
GitLab
Explore
Sign in
concordium
ConCert
Repository
Branches
Overview
Active
Stale
All
Stale branches
list-env
39b8da3c
·
Finished sketching a case for application in the soundness proof
·
Mar 21, 2019
nary-apps
e215dbd3
·
Added an alternative cbv eval for template coq term
·
Jun 05, 2019
pcuic
e3eb9b8e
·
Removed experimental cbv eval
·
Sep 09, 2019
cpp20-artefact
17c86619
·
Merge branch 'master' into cpp20-artefact
·
Nov 09, 2019
artefact
672ba0dc
·
Create LICENSE
·
Jan 10, 2020