Skip to content

@GoelandProver GoelandProver

Change the repository type filter

All

    Repositories list

    2 repositories

    • Goeland

      Public
      A first-order concurrent automated theorem prover
      Go
      •
      Other
      •4•23•8•10•Updated Aug 29, 2025Aug 29, 2025

    • GoelandBenchmarks

      Public
      A repository storing the various benchmarks done on the Goéland automated theorem prover to reproduce them at home.
      OpenEdge ABL
      •0•0•0•0•Updated Apr 4, 2024Apr 4, 2024