From 1bf8f1c23c0c6c999175db3e0e5b348f3a7115b0 Mon Sep 17 00:00:00 2001
From: vilin97 <vasilin97@gmail.com>
Date: Sat, 22 Aug 2026 22:57:41 -0700
Subject: [PATCH] Use four nanoda threads

---
 Main.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Main.lean b/Main.lean
index 2d4c6fc..cc81e9f 100644
--- a/Main.lean
+++ b/Main.lean
@@ -187,6 +187,7 @@ def runExternalKernel (kernelName : String) (kernelCommand : Array String)
       ("export_file_path", solutionPath.toString),
       ("permitted_axioms", .arr <| legalAxioms.map (.str ∘ Lean.Name.toString)),
       ("unpermitted_axiom_hard_error", true),
+      ("num_threads", 4),
       ("nat_extension", true),
       ("string_extension", true),
     ]