larswe/game-theory

A mechanisation of some concepts from game theory using the Isabelle theorem prover.

This repository is not active