#

cs245e

Here is 1 public repository matching this topic...

noti0na1 / Kripke-Models

A Racket Implement of Kripke Models

computer-science racket logic macro cs245e kripke-models syntax-parse

Updated Jun 6, 2017
Racket

Improve this page

Add a description, image, and links to the cs245e topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cs245e topic, visit your repo's landing page and select "manage topics."