KalkulierbaR / kalkulierbar

Related projects ⓘ

Alternatives and complementary repositories for kalkulierbar

• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆31Updated 3 months ago
• harp-project / AML-Formalization
  ☆10Updated last week
• isabelle-prover / isabelle-linter
  Linter component for Isabelle.
  ☆17Updated 4 months ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆111Updated last month
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆56Updated this week
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆27Updated last month
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆41Updated last year
• uds-psl / coq-library-complexity
  ☆28Updated last year
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆152Updated last week
• toku-sa-n / coqfmt
  Coq code formatter
  ☆21Updated this week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆79Updated this week
• coq / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆19Updated 2 weeks ago
• coq-community / coqdocjs
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆37Updated 3 months ago
• coq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆87Updated last week
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆81Updated this week
• leanprover-community / plausible
  ☆21Updated this week
• TheoWinterhalter / phd-thesis
  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
  ☆33Updated 4 years ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆64Updated 7 months ago
• coq-community / trocq
  A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]
  ☆18Updated last month
• smtcoq / sniper
  ☆35Updated 3 weeks ago
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆33Updated last month
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆42Updated 2 years ago
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆27Updated 3 weeks ago
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year
• logsem / iris-tutorial
  ☆25Updated this week
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆87Updated 4 months ago
• imdea-software / htt
  Hoare Type Theory
  ☆69Updated last month
• tydeu / lean4-alloy
  Write C shims from within Lean code.
  ☆50Updated 3 weeks ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆236Updated 2 months ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆15Updated last week