Alternatives and similar repositories for concrete-semantics-Sols:

Users that are interested in concrete-semantics-Sols are comparing it to the libraries listed below

• kolya-vasiliev / concrete-semantics
  My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.
  ☆23Updated 9 years ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆53Updated 2 months ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆84Updated 6 months ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆157Updated 4 months ago
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• coq-community / coqdocjs
  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
  ☆37Updated 5 months ago
• DeepSpec / dsss17
  Lecture material for DeepSpec Summer School 2017
  ☆86Updated 3 years ago
• QinxiangCao / UnifySL
  ☆24Updated 5 years ago
• coq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆115Updated 5 months ago
• logsem / iris-tutorial
  ☆32Updated last month
• tchajed / coq-record-update
  Library to create Coq record update functions
  ☆43Updated 4 months ago
• zachhalle / hotc
  Notes on higher-order typed compilation. Probably wrong
  ☆23Updated 2 years ago
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆43Updated last month
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆43Updated 2 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆35Updated this week
• tchajed / coq-tla
  ☆25Updated 10 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆65Updated last year
• bzhan / auto2
  A best-first-search theorem prover implemented in Isabelle
  ☆34Updated 2 years ago
• coq-community / coq-ext-lib
  A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
  ☆130Updated last month
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆26Updated 2 years ago
• uuverifiers / eldarica
  The Eldarica model checker
  ☆82Updated this week
• coq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆88Updated last week
• LeifAndersen / PLGradSchools
  ☆224Updated 5 months ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆58Updated this week
• tpchina / tpchina.github.io
  ☆16Updated 2 years ago
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆57Updated 10 months ago
• coq-community / autosubst
  Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
  ☆54Updated 4 months ago