[isabelle] two new AFP entries
I am happy to announce two new developments in the AFP. The first is a package for applicative functors, and the second uses that package to formalise the Stern-Brocot tree, which contains all rational numbers exactly once and in their lowest terms.
Many thanks to the authors for their contributions!
This archive was generated by a fusion of
Pipermail (Mailman edition) and