danr/stm-promise

This is stars and forks stats for /danr/stm-promise repository. As of 11 May, 2024 this repository has 1 stars and 1 forks.

STM Promises An example Running the theorem prover eprover in parallel: import Prelude hiding (mapM) import Data.Traversable import Data.List import Data.Maybe import Control.Concurrent.STM.Promise import Control.Concurrent.STM.Promise.Process import Control.Concurrent.STM.Promise.Tree import Control.Concurrent.STM.Promise.Workers {- | A tree for this file structure: ├── mul-commutative │   ├── induction_x_0.tptp │   ├── induction_x_1.tptp │   ├── induction_x_y_0.tptp │   ├── induction_x_y_1.tptp ...