Skip to content
GitLab
Explore
Sign in
jeanas
Proost
Repository
Branches
Overview
Active
Stale
All
classical
d16503c8
·
fixup: merge parts of contraposition and classical
·
Jan 05, 2023
51-add-namespace-end-3
adeb8744
·
fix: remove printing of rule in unreachable case
·
Jan 05, 2023
56-add-a-proost-fonctionality-typecheck-files-without-toplevel-when-files-are-given-as-arguments
94d17943
·
fix:restored old verbose behavior in process_file to accomodate the new commit
·
Jan 05, 2023
57-add-definitional-proof-irrelevance
50c7d725
·
feat(kernel): add `is_prop_term` and `is_prop_type`
·
Jan 05, 2023
76-refactor-toplevel-repl
e8c518af
·
fix(proost): simplify error type
·
Jan 05, 2023
20-lsp-proof-of-concept
88add6d6
·
feat(tilleul): Add server mock
·
Jan 05, 2023
main
default
protected
59564a06
·
Resolve "Clippy error after updated"
✨
️
·
Jan 04, 2023
77-clippy-error-after-updated
bb3b5d07
·
chore(clippy): Add clippy lint + Fix pattern_type_mismatch lint
·
Jan 04, 2023
70-add-axioms
99193da7
·
feat(kernel): better Axiom type
·
Jan 04, 2023
55-better-pretty-printing-of-terms
96acfe4e
·
feat: add PrettyTerm structure for easy display manipulation
·
Jan 03, 2023
38-error-locations
6b21621d
·
Apply 1 suggestion(s) to 1 file(s)
·
Dec 31, 2022
41-unhandled-integers
3c599eb1
·
fix(kernel): fixed issues enlightened during the review
·
Dec 30, 2022
75-whnf-doesn-t-unfold-applications-where-the-head-is-a-declaration
4d02977f
·
chore(clippy): clippy
·
Dec 27, 2022
68-make-clippy-annoying
420f6576
·
chore(nix): Bump dependencies
·
Dec 26, 2022
71-panic-when-entering-a
c03cb62b
·
feat(proost): add test for is_command behavior with 1 letter
·
Dec 24, 2022
28-add-universe-polymorphism-3
99dcd6d7
·
fix(proost): added Define command back (need to distinguish between the two in...
·
Dec 24, 2022
58-add-bool-type
e426fde5
·
feat: Basic boolean type, with if, and, or, not
·
Dec 22, 2022
wip-refactor-28-add-universe-polymorphism
e0c54c11
·
feat(kernel/term/builder): add binding to (instantiated) declaration builders
·
Dec 20, 2022
51-add-namespace-end-2
f30898ad
·
fix(proost): adapt evaluator to module_tree
·
Dec 18, 2022
64-fix-remaining-todo-34
7b9c4c51
·
fix : remaining todo
·
Dec 17, 2022
Prev
1
2
3
4
Next