Functional Checker for Go, developed for my Bachelor Thesis
Primary LanguageGoApache License 2.0Apache-2.0