Submissions from github.com/verse-lab | Hacker News

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

		LeanSSR: An SSReflect-Like Tactic Language for Lean (github.com/verse-lab)
		2 points by gopiandcode on March 25, 2024 \| past

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