Skip to content
GitLab
Explore
Sign in
loutr
Proost
Repository
Branches
Overview
Active
Stale
All
88-test-proost-evaluator
f8dba08a
·
Resolve "Bug(Parser): spaces are not allowed when declaring universe variables"
✨
️
·
Jan 11, 2023
!80
80-bug-parser-declarations-can-t-be-initiated-with-plus-max-and-imax
08275d63
·
fix(parser): declarations can't be initiated with plus, max and imax
·
Jan 11, 2023
!78
86-preparation-for-release-v0-2-0
9891e775
·
Apply 1 suggestion(s) to 1 file(s)
·
Jan 12, 2023
!74
57-add-definitional-proof-irrelevance
a35830f0
·
chore: split example file contraposition.mdln meaningfuly and remove already-defined axioms
·
Jan 12, 2023
!62
61-add-list-type
89b3c3e3
·
Resolve "Add `Eq` and definitional Proof-Irrelevance"
✨
️
·
Jan 12, 2023
!82
74-add-true-type
c1cd0f88
·
fix(kernel): fix `type_true_rec`
·
Jan 12, 2023
!76
89-allow-wildcards-in-abstractions-and-products
fe8468e6
·
fix(builder): improved branching
·
Jan 12, 2023
!81
93-add-basic-arithmetic
e9ce63cf
·
Resolve "Allow wildcards in abstractions and products"
✨
️
·
Jan 12, 2023
85-lsp-diagnostics
ee26b1a8
·
clippy
·
Jan 12, 2023
!83
51-add-namespace-end-3
4af9f5d9
·
temporary
·
Jan 12, 2023
!61
41-unhandled-integers
7dc75b32
·
chore(builder): Open issue (
#94
)
·
Jan 12, 2023
!60
60-add-exists-type
6e8726c2
·
Resolve "Unhandled integers"
✨
️
·
Jan 12, 2023
62-add-sigma-type
6e8726c2
·
Resolve "Unhandled integers"
✨
️
·
Jan 12, 2023
!85
45-optimisation-of-shift-algorithm
2d4b5d55
·
fix(kernel::memory::term): fix incorrect initialisation for is_certainly_closed
·
Jan 13, 2023
!70
obs_eq
300a519e
·
feat(kernel): ensure well-typedness of axiom types
·
Jan 23, 2023
!86
55-better-pretty-printing-of-terms
ff0f6881
·
test: provide tests for parenthesis omission and axiom printing
·
Jan 23, 2023
!59
100-incorrect-parsing-of-import-command-when-read-from-a-file
7aff55a3
·
fix(parser): prevent filenames from beings keywords
·
Jan 25, 2023
!89
78-classical-logic
6eb307d7
·
chore(std): clarify separation of definitions across files + manual formatting
·
Jan 26, 2023
!87
87-v0-3-0-presentation
c0ebc27b
·
feat(presentation): Add coverage slides
·
Jan 26, 2023
!75
97-preparations-for-v0-3-0
488dde16
·
chore: move the toplevel screenshot to the manual, as a listing
·
Jan 30, 2023
!90
Prev
1
2
3
4
5
Next