5 Commits

Author	SHA1	Message	Date
Drygin Alexander	9e71446a84	Merge branch 'master' into fusking-truffle	2019-07-05 12:19:14 +03:00
Drygin	a10e5e2cce	make bin target	2019-07-01 18:53:01 +03:00
Игорь Соболев	e65a268249	Updated .gitignore	2019-07-01 18:39:26 +03:00
Drygin	dfcebf93e3	rewrite prover on rust: add basic scheme	2019-07-01 18:30:17 +03:00
Evgeny Marchenko	050c26f392	add gitignore	2019-06-22 17:36:00 +03:00