8000 laitep repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@laitep Laboratory for Augmented Intelligence Theorem Proving (LaiTeP)

Change the repository type filter

All

    Repositories list

    5 repositories

    • GAP-packages

      Public
      0•0•0•0•Updated Jan 27, 2025Jan 27, 2025

    • Prover9-Mace4-v05

      Public
      Archive of Prover9-Mace4 v05 (the last version published by William McCune), the Prover9 GUI.
      Python
      •
      GNU General Public License v2.0
      •1•0•0•1•Updated Feb 21, 2024Feb 21, 2024

    • Prover9-Mace4-GUI

      Public
      Self-contained user interface for Prover9 and Mace4.
      Python
      •
      GNU General Public License v3.0
      •0•2•3•0•Updated Jan 26, 2024Jan 26, 2024

    • sage-libgap

      Public
      An automatically extracted version of SageMath's LibGAP, patched to work without Sage.
      Cython
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 24, 2024Jan 24, 2024

    • ladr

      Public
      William McCune's Library for Automated Deduction Research (LADR)
      C
      •
      GNU General Public License v2.0
      •1•0•0•0•Updated Nov 30, 2023Nov 30, 2023
    0