Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
dev/basic-parser
7b043877
·
ADD: basic lambda expr parser + small tests
·
Apr 27, 2023
dev/basic-syntax
c4aa1987
·
FIX: cleaned useless precedences and rules
·
Apr 29, 2023
dev/beta-reduction
3679837d
·
ADD: some tests
·
Apr 30, 2023
dev/typecheck
ff5bcb25
·
FIX: typecheking test cases and assistant test proofs
·
May 03, 2023
dev/interpreter
9128a621
·
FIX: Updated more functions with the Hole type
·
May 04, 2023
proof-state
c1b2837d
·
FIX: elim tactic commented
·
May 09, 2023
dev/ext
9be544de
·
ADD: little display
·
May 12, 2023
dev/semicolon
116e9f03
·
ADD: tactic;tactic is now possible + typos
·
May 18, 2023
main
default
protected
e0a5e300
·
FIX: small parser example + pause in conclusion
·
May 23, 2023