-
-
lean-auto Public
Forked from leanprover-community/lean-autoExperiments in automation for Lean
Lean Apache License 2.0 UpdatedMay 10, 2025 -
lean-cvc5 Public
A Foreign Function Interface (FFI) to cvc5 solver in Lean.
-
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
-
Leanwuzla Public
Forked from hargoniX/LeanwuzlaConnecting Bitwuzla to LeanSAT
Lean UpdatedApr 24, 2025 -
-
-
-
bitwuzla.github.io Public
Forked from bitwuzla/bitwuzla.github.iohttps://bitwuzla.github.io
CSS UpdatedJan 6, 2025 -
quote4 Public
Forked from leanprover-community/quote4Intuitive, type-safe expression quotations for Lean 4.
Lean Apache License 2.0 UpdatedOct 26, 2024 -
-
-
-
kind2 Public
Forked from kind2-mc/kind2Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
OCaml Apache License 2.0 UpdatedMar 10, 2023 -
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJun 20, 2022 -
linguist Public
Forked from github-linguist/linguistLanguage Savant. If your repository's language is being reported incorrectly, send us a pull request!
Ruby MIT License UpdatedApr 12, 2022 -
-
-
-
-
vscode-codicons Public
Forked from microsoft/vscode-codiconsThe icon font for Visual Studio Code
Handlebars Creative Commons Attribution 4.0 International UpdatedMay 7, 2021 -
VERDICT Public
Forked from ge-high-assurance/VERDICTDARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Java BSD 3-Clause "New" or "Revised" License UpdatedApr 14, 2021 -
-
gradle-git-version Public
Forked from palantir/gradle-git-versiona Gradle plugin that uses `git describe` to produce a version string.
Java Apache License 2.0 UpdatedJan 9, 2021 -
jkind-plugin Public
Forked from loonwerks/jkind-pluginJKind model checker packaged in a convenient Eclipse plugin
Java UpdatedJul 20, 2020 -
jkind Public
Forked from loonwerks/jkindJKind - An infinite-state model checker for safety properties in Lustre
Java Other UpdatedJul 15, 2020 -
youtube-8m Public
Forked from google/youtube-8mStarter code for working with the YouTube-8M dataset.
Python Apache License 2.0 UpdatedMay 13, 2020 -
{{ message }}