# Andreas Lochbihler

## Entries

### 2016

##### A Formal Proof of the Max-Flow Min-Cut Theorem for Countable Networks

by Andreas Lochbihler 🌐
May 09