Danila Fedorin 14b63fccc2 Revert "Reduce gas for proof search" ... This reverts commit 6a952f8a15.		2024-04-20 14:10:18 -07:00
..
Bergamot	Revert "Reduce gas for proof search"	2024-04-20 14:10:18 -07:00
Main.elm	Add a text for no proofs	2023-12-29 00:07:14 -08:00