ul-fmf / nadlogarLinks
Spletna storitev za generiranje nalog
☆18Updated 2 years ago
Alternatives and similar repositories for nadlogar
Users that are interested in nadlogar are comparing it to the libraries listed below
Sorting:
- Spletna storitev za poučevanje programiranja☆14Updated last year
- Programming library for Agda☆130Updated 11 months ago
- A small implementation of higher-order unification☆189Updated 8 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆103Updated 3 years ago
- Agda bindings to SMT-LIB2 compatible solvers.☆101Updated 10 months ago
- Agda formalisation of second-order abstract syntax☆55Updated 2 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 4 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆71Updated 6 years ago
- agda-mode on VS Code☆176Updated last week
- The theory of algebraic graphs formalised in Agda☆90Updated 7 years ago
- Course materials for Chalmers TPIL25 class☆14Updated 5 months ago
- Library of the ##dependent distributed research support group☆115Updated last year
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Updated last year
- Organization and planning for the Initial Types Club☆73Updated 2 years ago
- Total Parser Combinators in Agda☆132Updated this week
- Official repository of the Autosubst 2 project.☆23Updated 2 years ago
- Compiling Agda code to readable Haskell☆190Updated last week
- A TACtic library for Agda☆49Updated 10 months ago
- A formalized proof of a version of the initiality conjecture☆43Updated 4 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆22Updated last week
- This aims to be the most pretentious implementation of stlc in existence☆63Updated 3 years ago
- Class instances for Coq inductive types with little boilerplate☆25Updated 3 months ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆262Updated this week
- Some basic libraries for Coq.☆14Updated 3 years ago
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Updated 7 years ago
- A function definition package for Coq☆232Updated last month
- My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…☆21Updated last year
- A "implementation" of Girard's paradox in OCaml☆109Updated 10 years ago
- ☆45Updated 6 years ago
- Categorical logic from a categorical point of view☆80Updated last year