search

raffopazzo / depc

Like C and C++ but with Dependent Types
1 stars 1 forks source link

add true_t and proof_search #34

Closed raffopazzo closed 6 months ago