Skip to content

@FormalSAT FormalSAT

Change the repository type filter

All

    Repositories list

    2 repositories

    • trestle

      Public
      Lean
      •
      Apache License 2.0
      •4•21•1•3•Updated Aug 1, 2025Aug 1, 2025

    • trestle-code

      Public
      Executable code for trestle
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 22, 2025Feb 22, 2025