User Activity

  • Committed [3b0b44]

    add support for lambdas in TPTP THF generator + killed an unsound type encoding (because the monotonicity calculus assumes first-order)

  • Committed [2cd0b4]

    added generation of lambdas in THF

  • Committed [56d352]

    improved translation of lambdas in THF

  • Committed [4c2242]

    added choice operator output for

  • Committed [eeba1e]

    improved handling of induction rules in Sledgehammer

  • Committed [cfe7f4]

    added generation of induction rules

  • Committed [0f50f1]

    removed explicit reliance on Hilbert_Choice.Eps

View All

Personal Data

Username:
nik
Joined:
2000-01-29 13:56:47

Projects

  • No projects to display.

Personal Tools

MongoDB Logo MongoDB