UNPKG

fregejs

Version:

A propositional logic library written in Typescript

github.com/etec-sa

12 folders, 1 file

	Filename	Content Type	Size
	../
	builder/	–	4.22 kB
	calculator/	–	24.6 kB
	exceptions/	–	458 B
	frege/	–	6.92 kB
	lexer/	–	5.82 kB
	modules/	–	553 B
	parser/	–	15.7 kB
	proof-checker/	–	7.67 kB
	reducer/	–	7.43 kB
	rulers/	–	103 kB
	types/	–	12 kB
	utils/	–	8.13 kB
	index.ts	text/typescript	267 B