search

kbuzzard / FilterGame

An interactive game introducing the concept of a filter.
MIT License
5 stars 3 forks source link

Proofs up to lvl7 #8

Closed IgorPietrzak closed 4 months ago

IgorPietrzak commented 4 months ago

May need more hints on some of the proofs, not sure where.