User Activity

  • Committed [f0eff6]

    basic setup for zipperposition prover

  • Committed [0d5e34]

    Correcting the type parser

  • Committed [488046]

    add support for Isar reconstruction for thf1 ATP provers like Leo-II.

  • Committed [cf4358]

    imported patch leo2_skolem_simplication

  • Committed [67d85a]

    Moving the remote prefix deleting on Sledgehammer's side

  • Committed [dfc834]

    Skolemization support for leo-II and Zipperposition.

  • Committed [c0da3f]

    Basic support for the SMT prover veriT.

  • Committed [5da48d]

    Subproofs for the SMT solver veriT.

View All

Personal Data

Username:
fleury
Joined:
2000-10-23 05:42:08

Projects

This is a list of open source software projects that Pascal Fleury is associated with:

Personal Tools