logicUSLIB/logicus-fol

Published Versions

Elm package for working with First Order Logic.

VersionPublished
3.3.01 Nov 2026
3.2.21 Nov 2026
3.2.131 Oct 2026
3.2.031 Oct 2026
3.1.130 Oct 2026
3.1.030 Oct 2026
3.0.05 Nov 2024
2.0.126 Sep 2022
2.0.026 Sep 2022
1.1.04 Jul 2022
1.0.111 Nov 2021
1.0.014 Sep 2021