coq-ski

Coq Library for SKI Combinatory Logic (by markisus)

coq-ski reviews and mentions

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

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

Stats

Basic coq-ski repo stats
1
8
0.0
about 2 years ago

markisus/coq-ski is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of coq-ski is Coq.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com