Awesome Open Source

Programming Languages

Search results for coq lean

9 search results found

Cosette ⭐ 509

Cosette is an automated SQL solver.

Smalltt ⭐ 475

Demo for high-performance type theory elaboration

Llm Verified With Monte Carlo Tree Search ⭐ 143

LLM verified with Monte Carlo Tree Search

A verification toolchain for Rust programs

Lecturas_glc ⭐ 62

Readings on computational logic, interactive theorem proving and functional programming.

Coq Lean Cheatsheet ⭐ 45

A quick reference for mapping Coq tactics to Lean tactics

Ltac2 Tutorial ⭐ 33

Isarmathlib ⭐ 16

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.

Analysis I ⭐ 7

Formalization of proofs from Analysis I in the Coq and Lean.

Related Searches

Openwrt Lean (807)

Shell Lean (764)

Firmware Lean (473)

Javascript Lean (193)

Ocaml Coq (164)

Haskell Coq (63)

Definition Coq (53)

Calculus Coq (50)

Coq Mathcomp (38)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.