Snapkitty
/

ai-free

october-2026-drop

formal-verification

Model card Files Files and versions

ai-free / bcpl /BCPL.lean

SNAPKITTYWEST's picture

October 2026 main drop: mirror from GitHub

f5deffb verified 10 days ago

Raw History Blame Contribute Delete

106 Bytes

	import BCPL.Semantics
	import BCPL.Compile
	import BCPL.ExprCorrect
	import BCPL.Correct
	import BCPL.Example