FMFI-UK-1-AIN-412/elm-formula

Published Versions

First-order logic formulas and parser

VersionPublished
5.0.128 Apr 2021
5.0.024 Mar 2021
4.0.012 Nov 2020
3.1.123 Oct 2020
3.1.021 Oct 2020
3.0.021 Oct 2020
2.0.014 Apr 2020
1.0.028 May 2018Elm 0.18 or earlier