« first day (2790 days earlier)      last day (25 days later) » 

B. Wilson
B. Wilson
5:33 PM
@rak1507 Not currently. It's really just a floating collection of experiments at the moment. Once I pull everything together into a full verifier, I will release it to the Metamath community and it'll be GPL.

« first day (2790 days earlier)      last day (25 days later) »