Thanks to visit codestin.com
Credit goes to Github.com

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 240 31

  2. carcara carcara Public

    Rust 40 16

  3. proof-visualizer proof-visualizer Public

    TypeScript 3 4

  4. cvc5-wasm cvc5-wasm Public

    A cvc5 version in web assembly.

    Shell 2 1

Repositories

Showing 4 of 4 repositories

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…