UNPKG

@openreasoning/fol-types

Version:

Types of First-Order Logic formula

github.com/OpenReasoning/fol-types-js

OpenReasoning/fol-types-js

6 lines (4 loc) • 231 B
1
2
3
4
5
6
fol-types ========= [![Build Status](https://travis-ci.com/OpenReasoning/fol-types-js.svg?branch=master)](https://travis-ci.com/OpenReasoning/fol-types-js) ![NPM Version](https://img.shields.io/npm/v/@openreasoning/fol-types.svg)