#Coconut

Showing 2 of 2 repositories tagged #coconut, ranked by stars

Simple, elegant, Pythonic functional programming.

★ 4.3k ⑂ 142 +4/day

Resolution theorem proving for predicate logic in pure Python.

★ 98 ⑂ 11 —

Related Topics

#python #compiler #functional #functional-language #functional-programming #language #programming-language #xonsh #xontrib #first-order-logic #prover #theorem-prover