Revert "Reduce gas for proof search"
This reverts commit 6a952f8a15.

This reverts commit 6a952f8a15.
2024-04-20 14:10:18 -07:00 · 2024-04-20 14:10:18 -07:00 · 2023-11-29 19:47:30 -08:00 · 2023-11-26 15:54:01 -08:00 · 2023-12-30 20:04:12 -08:00 · 2023-11-30 04:02:58 +00:00
diff --git a/Danila Fedorin b/Danila Fedorin
Danila Fedorin 14b63fccc2 Revert "Reduce gas for proof search" This reverts commit `6a952f8a15`.		2024-04-20 14:10:18 -07:00
src	Revert "Reduce gas for proof search"	2024-04-20 14:10:18 -07:00
elm-dependencies.nix	Add Nix-specific generated dependencies	2023-11-29 19:47:30 -08:00
elm.json	Add LaTeX support for rendering rules	2023-11-26 15:54:01 -08:00
elm.nix	Optimize the Elm JS.	2023-12-30 20:04:12 -08:00
flake.lock	Add a flake file to build the project	2023-11-30 04:02:58 +00:00
flake.nix	More strictly control what goes into elm.nix	2023-11-30 04:22:02 +00:00
index.html	Add flags for setting rules and query before starting	2023-11-26 20:53:31 -08:00
registry.dat	Add Nix-specific generated dependencies	2023-11-29 19:47:30 -08:00
renderrules.bergamot	Tweak render rules to handle precedence	2023-12-25 18:32:15 -08:00