8000 Laboratory for Augmented Intelligence Theorem Proving (LaiTeP) · 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)

Popular repositories Loading

  1. Prover9-Mace4-GUI Prover9-Mace4-GUI Public

    Self-contained user interface for Prover9 and Mace4.

    Python 2

  2. ladr ladr Public

    William McCune's Library for Automated Deduction Research (LADR)

    C 1

  3. Prover9-Mace4-v05 Prover9-Mace4-v05 Public

    Archive of Prover9-Mace4 v05 (the last version published by William McCune), the Prover9 GUI.

    Python 1

  4. sage-libgap sage-libgap Public

    An automatically extracted version of SageMath's LibGAP, patched to work without Sage.

    Cython

  5. GAP-packages GAP-packages Public

Repositories

Showing 5 of 5 repositories
  • GAP-packages Public
    laitep/GAP-packages’s past year of commit activity
    0 0 0 0 Updated Jan 27, 2025
  • Prover9-Mace4-v05 Public

    Archive of Prover9-Mace4 v05 (the last version published by William McCune), the Prover9 GUI.

    laitep/Prover9-Mace4-v05’s past year of commit activity
    Python 0 GPL-2.0 1 0 1 Updated Feb 21, 2024
  • Prover9-Mace4-GUI Public

    Self-contained user interface for Prover9 and Mace4.

    laitep/Prover9-Mace4-GUI’s past year of commit activity
    Python 2 GPL-3.0 0 3 0 Updated Jan 26, 2024
  • sage-libgap Public

    An automatically extracted version of SageMath's LibGAP, patched to work without Sage.

    laitep/sage-libgap’s past year of commit activity
    Cython 0 GPL-3.0 0 0 0 Updated Jan 24, 2024
  • ladr Public

    William McCune's Library for Automated Deduction Research (LADR)

    laitep/ladr’s past year of commit activity
    C 0 GPL-2.0 1 0 0 Updated Nov 30, 2023

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…
0