Summary
- merged
- add PFP implementation as applicative functor
- merged
- tuned proof
The file was added | thys/Applicative_Lifting/Applicative_Probability_List.thy |
The file was modified | thys/Applicative_Lifting/Applicative_Functor.thy (diff) |
The file was modified | thys/MFMC_Countable/Max_Flow_Min_Cut_Countable.thy (diff) |