caiks / AlignmentC

C++ implementation of aspects of the theory of Aligned Induction

Home Page:https://greenlake.co.uk

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

caiks/AlignmentC Stargazers