dsainati1/KAT
Implementation of an equality checker for two expressions in Kleene Algebra (Final Project for CS 6861)
https://github.com/dsainati1/KAT
viewpoint
Issues rank
contributors (According to the first 100)