Awesome Open Source

Programming Languages

Mini Sygus

a constraint-based syntax-guided synthesis (SyGuS) engine

Categories > Mathematics > Theorem Proving

Suggest Alternative

Stars

8

License

No license specified

Most Recent Commit

a year ago

Programming Language

Python

Categories

Mathematics > Theorem Proving

Alternatives To Mini Sygus

Select To Compare

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4most recent commit 3 months ago

Fstar ⭐ 2,522

A Proof-oriented Programming Language

most recent commit 3 months ago

Lean3 ⭐ 2,138

Lean Theorem Prover

most recent commit 6 months ago

CakeML: A Verified Implementation of ML

most recent commit 3 months ago

Leancopilot ⭐ 593

LLMs as Copilots for Theorem Proving in Lean

most recent commit 3 months ago

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

most recent commit 3 months ago

Leandojo ⭐ 397

Tool for data extraction and interacting with Lean programmatically.

most recent commit 3 months ago

Software Foundations ⭐ 356

Software Foundations in Idris

most recent commit 5 years ago

Certigrad ⭐ 346

Bug-free machine learning on stochastic computation graphs

most recent commit 5 years ago

A Learning Environment for Theorem Proving with the Coq proof assistant

most recent commit 10 months ago

Suggest An Alternative To mini-sygus

Popular Mathematics Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Theorem Proving

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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