Skip to content
Snippets Groups Projects
Select Git revision
  • 1-dedicated-cargo-files
  • 10-modify-proost-s-grammar
  • 100-incorrect-parsing-of-import-command-when-read-from-a-file
  • 102-add-match-syntax
  • 103-normal-form-memoization
  • 104-implement-normalisation-by-evaluation
  • 105-specialize-traces
  • 106-logsem-seminar-talk
  • 107-parser-simplification
  • 108-opaque-traces
  • 109-feat-tilleul-add-vscode-support
  • 11-use-derive_more-crate
  • 110-unhandled-lsp-requests-declared-as-capabilities-in-tilleul
  • 111-non-dependent-products-optimisation
  • 115-improve-ci-by-using-nix
  • 13-breaking-change-rename-core-crate-to-kernel
  • 14-perftests
  • 15-refactor-memory-type-checker
  • 16-coverage-on-pipelines
  • 17-type-checker-doesn-t-use-the-global-context
  • v0.3.0
  • v0.2.0
  • 0.1.0
23 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.030Jan272625232221191813121110654131Dec30292827262524232221201918171614128432130Nov28272625241715141310987432chore(calculus term): remove duplicate test (also in axiom/natural.rs)103-normal-form…103-normal-form-memoizationfeat(kernel, term): add normal form lazy field in term headers + corresponding access functionsResolve "Preparations for release v0.3.0" ✨️v0.3.0v0.3.0chore: move the toplevel screenshot to the manual, as a listing97-preparations…97-preparations-for-v0-3-0feat(std): add `add` function over natural numbers, used as an examplechore(docs): separate header style file for TeX + formattingApply 4 suggestion(s) to 2 file(s)chore: update Cargo lockchore: update Proost version numberdocs: update manualdocs: update specificationsfeat: mentionn GitHub mirror in README and update logo linkdocs(parser): incorrect documentation for commandsdocs(kernel: axiom, trace): fix documentation and try to make it more uniformdocs(elaboration): fix links and typos in documentationResolve "v0.3.0 presentation" ✨️feat(presentation): Add coverage slides87-v0-3-0-prese…87-v0-3-0-presentationdocs(tex): description of the kernelchore(presentation): Improve slides stylechange colorchore(docs): corrections on the presentationfeat(docs): ending of presentation for 0.3.0feat(docs): beginning of presentation for 0.3.0Resolve "Classical logic" ✨️chore(std): clarify separation of definitions across files + manual formatting78-classical-lo…78-classical-logicchore: define std folder and reorganise madeleine files structurefixup: merge parts of contraposition and classicalfeat: Resolve "Classical logic" (#78)Resolve "Incorrect parsing of import command when read from a file" ✨️fix(parser): prevent filenames from beings keywords100-incorrect-p…100-incorrect-parsing-of-import-command-when-read-from-a-filePartially resolve "Pretty printing of terms" ✨️test: provide tests for parenthesis omission and axiom printing55-better-prett…55-better-pretty-printing-of-termsfeat: less parentheses in printingfeat(kernel): ensure well-typedness of axiom typesobs_eqobs_eqfeat: use method `is_certainly_closed` in pretty printingchore(pretty): move pretty-printing functions into a separate modulefeat(kernel::memory::term): in pretty printing, associate variables to letters instead of numerical identifierfix: no space before ':'fix: parenthesis for applicationfix: prettyprint renamed in pretty_print + doc