leannode-core

Version:

Simple Node.js wrapper for Lean 4 theorem prover

1 file

	Filename	Content Type	Size
	../
	index.js	text/javascript	1.74 kB