unfix-binders

Experimental proof assistant (and architecture) for dependent linear logic (by aspiwack)

Unfix-binders Alternatives

Similar projects and alternatives to unfix-binders

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better unfix-binders alternative or higher similarity.

unfix-binders reviews and mentions

Posts with mentions or reviews of unfix-binders. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning unfix-binders yet.
Tracking mentions began in Dec 2020.

Stats

Basic unfix-binders repo stats
0
43
0.0
almost 2 years ago
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com