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

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