Workspace of mettalog on Built-In Node

	backward-chainer
	backward-chaining
	common
	converters
	curried-chaining
	dependent-types
	entail
	equal
	forward-chainer
	forward-chaining
	hol
	inference-control
	iterative-chaining
	lambda-abstraction
	match
	pln
	polyward-chaining
	program-verification
	proof-tree
	subtyping
	sumo
	synthesis
	README.md	Dec 6, 2024, 9:49:23 AM	1.23 KiB
(all files in zip)