Submissions from github.com/jacobasmuth | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit | from

		Qed: A verified web front end written in Lean4 (github.com/jacobasmuth)
		3 points by JacobAsmuth 3 months ago \| past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact