6 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Michael Zhang	09822a6b4d	fstar	2024-05-13 13:07:19 -04:00
Michael Zhang	bae5023350	asdf	2024-04-25 16:42:13 -05:00
Michael Zhang	25fbcdd0f1	builds now	2024-04-22 20:44:55 -05:00
Michael Zhang	ed2f598361	ignore lock	2024-04-22 15:04:41 -05:00
Michael Zhang	d5e5a441b6	test	2024-04-22 15:00:46 -05:00
Michael Zhang	459f6a7888	init dune project	2024-04-22 13:29:13 -05:00