Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
Stale branches
rephase
99314c74
·
Rephased all define-judgement-form passes.
·
Jul 20, 2020
match
dbc260aa
·
Cleaned up debug messages.
·
Sep 07, 2020
beluga
968bcf1f
·
Removed an erroneous code fragement from Beluga prelude.
·
Sep 07, 2020
agda
656013d7
·
add Agda STLC example
·
Feb 18, 2021
smt
4335c968
·
add examples for arithmatic operations in Coq and SMT-LIB
·
Oct 01, 2021