GCBP reviews and mentions
Posts with mentions or reviews of GCBP.
We have used some of these posts to build our list of alternatives
and similar projects.
-
Examples for mechanized proofs in computability/recursion theory
Partial functions in GCBP (paper), using maybe monad: https://github.com/plaidfinch/GCBP/blob/master/agda/PartialFunctions.agda
Stats
Basic GCBP repo stats
1
3
10.0
about 5 years ago
The primary programming language of GCBP is TeX.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com