Skip to content

@anzenlang anzenlang

Change the repository type filter

All

    Repositories list

    12 repositories

    • anzenlang.github.io

      Public
      HTML
      •
      MIT License
      •0•0•0•0•Updated Feb 27, 2025Feb 27, 2025

    • lean-cvc5

      Public
      A Foreign Function Interface (FFI) to cvc5 solver in Lean.
      Lean
      •
      Apache License 2.0
      •4•0•0•0•Updated Feb 26, 2025Feb 26, 2025

    • zen

      Public
      Hopefully useful Lean 4 things.
      Lean
      •0•0•0•0•Updated Feb 17, 2025Feb 17, 2025

    • cvc.lean

      Public
      Relatively high-level cvc5 API.
      Lean
      •
      Apache License 2.0
      •0•1•1•0•Updated Feb 14, 2025Feb 14, 2025

    • kind2

      Public
      Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
      OCaml
      •
      Apache License 2.0
      •28•0•0•0•Updated Sep 28, 2024Sep 28, 2024

    • lean-auto

      Public
      Experiments in automation for Lean
      Lean
      •
      Apache License 2.0
      •16•0•0•0•Updated Sep 13, 2024Sep 13, 2024

    • lean-smt

      Public
      Tactics for discharging Lean goals into SMT solvers.
      Lean
      •
      Apache License 2.0
      •20•0•0•0•Updated Aug 5, 2024Aug 5, 2024

    • train.bf

      Public
      Brainfuck-based lean 4 introduction.
      Lean
      •
      Mozilla Public License 2.0
      •1•0•0•0•Updated Jul 28, 2024Jul 28, 2024

    • doc-gen4

      Public
      Document Generator for Lean 4
      Lean
      •
      Apache License 2.0
      •42•0•0•0•Updated May 10, 2024May 10, 2024

    • arrow.lean

      Public
      Arrow's theorem.
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated May 1, 2024May 1, 2024

    • timelib

      Public
      A date and time library for Lean 4
      Lean
      •
      Apache License 2.0
      •4•0•0•0•Updated Apr 13, 2024Apr 13, 2024

    • kind2-benchmarks

      Public
      Set of benchmarks for Kind 2
      eC
      •1•0•0•0•Updated Dec 26, 2022Dec 26, 2022