Skip to content

@ufmg-smite ufmg-smite

Change the repository type filter

All

    Repositories list

    4 repositories

    • lean-smt

      Public
      Tactics for discharging Lean goals into SMT solvers.
      smtlean4
      Lean
      •
      Apache License 2.0
      •19•159•7•3•Updated Jan 23, 2025Jan 23, 2025

    • carcara

      Public
      Rust
      •
      Apache License 2.0
      •13•34•1•2•Updated Jan 21, 2025Jan 21, 2025

    • proof-visualizer

      Public
      TypeScript
      •
      Apache License 2.0
      •4•3•0•2•Updated Sep 14, 2023Sep 14, 2023

    • cvc5-wasm

      Public
      A cvc5 version in web assembly.
      Shell
      •1•1•0•0•Updated Jul 26, 2022Jul 26, 2022