Skip to content
@anzenlang

anzenlang

Pinned Loading

  1. timelib timelib Public

    Forked from ammkrn/timelib

    A date and time library for Lean 4

    Lean

  2. arrow.lean arrow.lean Public

    Arrow's theorem.

    Lean

  3. lean-cvc5 lean-cvc5 Public

    Forked from abdoo8080/lean-cvc5

    A Foreign Function Interface (FFI) to cvc5 solver in Lean.

    Lean

  4. lean-smt lean-smt Public

    Forked from ufmg-smite/lean-smt

    Tactics for discharging Lean goals into SMT solvers.

    Lean

  5. zen zen Public

    Hopefully useful Lean 4 things.

    Lean

  6. cvc.lean cvc.lean Public

    Relatively high-level cvc5 API.

    Lean 1

Repositories

Showing 10 of 12 repositories
  • anzenlang.github.io Public
    anzenlang/anzenlang.github.io’s past year of commit activity
    HTML 0 MIT 0 0 0 Updated Feb 27, 2025
  • lean-cvc5 Public Forked from abdoo8080/lean-cvc5

    A Foreign Function Interface (FFI) to cvc5 solver in Lean.

    anzenlang/lean-cvc5’s past year of commit activity
    Lean 0 Apache-2.0 4 0 0 Updated Feb 26, 2025
  • zen Public

    Hopefully useful Lean 4 things.

    anzenlang/zen’s past year of commit activity
    Lean 0 0 0 0 Updated Feb 17, 2025
  • cvc.lean Public

    Relatively high-level cvc5 API.

    anzenlang/cvc.lean’s past year of commit activity
    Lean 1 Apache-2.0 0 1 0 Updated Feb 14, 2025
  • kind2 Public Forked from kind2-mc/kind2

    Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

    anzenlang/kind2’s past year of commit activity
    OCaml 0 Apache-2.0 29 0 0 Updated Sep 28, 2024
  • lean-auto Public Forked from leanprover-community/lean-auto

    Experiments in automation for Lean

    anzenlang/lean-auto’s past year of commit activity
    Lean 0 Apache-2.0 16 0 0 Updated Sep 13, 2024
  • lean-smt Public Forked from ufmg-smite/lean-smt

    Tactics for discharging Lean goals into SMT solvers.

    anzenlang/lean-smt’s past year of commit activity
    Lean 0 Apache-2.0 20 0 0 Updated Aug 5, 2024
  • train.bf Public

    Brainfuck-based lean 4 introduction.

    anzenlang/train.bf’s past year of commit activity
    Lean 0 MPL-2.0 1 0 0 Updated Jul 28, 2024
  • doc-gen4 Public Forked from leanprover/doc-gen4

    Document Generator for Lean 4

    anzenlang/doc-gen4’s past year of commit activity
    Lean 0 Apache-2.0 42 0 0 Updated May 10, 2024
  • arrow.lean Public

    Arrow's theorem.

    anzenlang/arrow.lean’s past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated May 1, 2024
View all 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…