Skip to content

Releases: leoprover/ask

Release list

ask 0.2.4

ask 0.2.4 Latest
Latest

Choose a tag to compare

View all tags
@lex-lex lex-lex released this 03 Jun 17:58
v0.2.4
e439c3e

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

Assets 3
Loading

ask v0.2.2

ask v0.2.2

Choose a tag to compare

View all tags
@lex-lex lex-lex released this 18 Nov 16:55
v0.2.2
fba9ef9

First public release of the ask Skolemizer tool. See the README for usage.

Loading