6 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
hu55a1n1	d10e13862c	Add README.md	2023-11-07 05:20:24 -08:00
hu55a1n1	09d0cb976a	Update .gitignore	2023-11-07 05:20:20 -08:00
hu55a1n1	fcfcebfd06	Add tm-prover crate	2023-11-07 05:19:31 -08:00
Shoaib Ahmed	1b33ff28f0	Add issue template	2023-10-19 12:21:39 +02:00
Andrew Miller	f02ec08182	simplify instruction	2023-09-10 12:34:21 -05:00
Andrew Miller	290272120a	dockerfile for mtcs	2023-09-10 12:21:35 -05:00