Published June 3, 2026 | Version v0.2.4
Software Open

leoprover/ask: ask 0.2.4

Authors/Creators

  • 1. University of Greifswald

Description

Version 0.2.4 of the ask Skolemizer tool. See the README for usage.

Files

leoprover/ask-v0.2.4.zip

Files (577.7 kB)

Name Size Download all
md5:ed8f578f8291eebfb9bf43aa0b024d01
577.7 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/leoprover/ask/tree/v0.2.4 (URL)

Software

Repository URL
https://github.com/leoprover/ask