bernborgess

bernborgess's Stars

• Jguer/yay

  Yet another Yogurt - An AUR Helper written in Go

  Language:Go11.2k701.5k363

• msys2/msys2.github.io

  The MSYS2 homepage

  Language:CSS2.3k55179302

• jameysharp/corrode

  C to Rust translator

  Language:Haskell2.2k68124116

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.5k38408332

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1k372.6k234

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++985144191

• HOL-Theorem-Prover/HOL

  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.

  Language:Standard ML62648648143

• formal-land/coq-of-ocaml

  Formal verification for OCaml

  Language:OCaml25687020

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python16492227

• gambolputty/german-nouns

  A list of ~100,000 German nouns and their grammatical properties compiled from WiktionaryDE as CSV file. Plus a module to look up the data and parse compound words.

  Language:Python1442919

• teorth/pfr

  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

  Language:Lean1367333

• cassiopc/boca

  Automatically exported from code.google.com/p/boca

  Language:PHP108101256

• FormalizedFormalLogic/Foundation

  Lean4 Logic Formalization

  Language:Lean797285

• loganrjmurphy/LeanEuclid

  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

  Language:Lean75515

• falkTX/qtsixa

  QtSixA

  Language:C++65101155

• mikekben/SLOT

  SLOT: SMT-LLVM Optimizing Translation

  Language:C++53306

• ufmg-smite/carcara

  Language:Rust3391211

• leanprover-community/tutorials4

  Lean 4 tutorial files

  Language:Lean281704

• ammkrn/type_checking_in_lean4

  Type Checking in Lean 4

  Language:JavaScript24316

• thiagofelicissimo/BiTTs

  Language:OCaml21101

• hhu-adam/Robo

  A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪

  Language:Lean1764611

• leanprover/lean-action

  GitHub action for standard CI in Lean projects

  Language:Shell158433

• formal-land/coq-of-solidity

  Formal verification for Solidity smart contracts with Coq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!

  Language:Coq13130

• Seasawher/mdgen

  Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

  Language:Lean132241

• BrownCS1951x/fpv2023

  Lecture notes, exercises, homeworks for Brown CS1951x 2023

  Language:Lean124011

• leanprover/lean4export

  Plain-text declaration export for Lean 4

  Language:Lean111435

• tomaz1502/RunTimeFormalization

  A formalization of the run time complexity of Insertion Sort and Merge Sort.

  Language:Lean5101

• bernborgess/lingo

  Sistema educacional interativo desenvolvido especificamente para a disciplina de "Teste de Software" da UFMG

  Language:TypeScript1100

• danielecassia/rm_tp2_EVE

  Language:Jupyter Notebook10

• mhk119/lean-smt

  Tactics for discharging Lean goals into SMT solvers.

  Language:Lean10