Some work on structured coding with model theory. The idea for the project is explained in the report draft. The rest of this repository contains the computational part of the project.
-
Notifications
You must be signed in to change notification settings - Fork 0
Some work on structured coding with model theory. This repository contains the computational part of the project.
License
lorisj/structured-coding
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Some work on structured coding with model theory. This repository contains the computational part of the project.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published