Skip to content
@ufmg-smite

ufmg-smite

Popular repositories Loading

  1. lean-smt lean-smt Public

    Tactics for discharging Lean goals into SMT solvers.

    Lean 172 20

  2. carcara carcara Public

    Rust 35 15

  3. proof-visualizer proof-visualizer Public

    TypeScript 3 4

  4. cvc5-wasm cvc5-wasm Public

    A cvc5 version in web assembly.

    Shell 1 1

  5. cad-formalization cad-formalization Public

    Lean 1

Repositories

Showing 5 of 5 repositories
  • lean-smt Public

    Tactics for discharging Lean goals into SMT solvers.

    Lean 172 Apache-2.0 20 7 4 Updated Mar 29, 2025
  • carcara Public
    Rust 35 Apache-2.0 15 2 2 Updated Mar 26, 2025
  • cad-formalization Public
    Lean 1 0 0 0 Updated Mar 26, 2025
  • proof-visualizer Public
    TypeScript 3 Apache-2.0 4 0 2 Updated Sep 14, 2023
  • cvc5-wasm Public

    A cvc5 version in web assembly.

    Shell 1 1 0 0 Updated Jul 26, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…