UNPKG

@openreasoning/fol-types

Version:

Types of First-Order Logic formula

github.com/OpenReasoning/fol-types-js

OpenReasoning/fol-types-js

1 folder, 4 files

	Filename	Content Type	Size
	dist/	–	4.13 kB
	.travis.yml	text/yaml	1 kB
	LICENSE.md	text/markdown	1.07 kB
	README.md	text/markdown	231 B
	package.json	application/json	677 B

About

github.com/OpenReasoning/fol-types-js

OpenReasoning/fol-types-js

Releases

7 years ago