Username:
ramana.k...@gmail.com
Starred developers:
None
| Projects |
|---|
| Role | Project | Summary |
|---|---|---|
| Owner | iucs-relational-research | Relational programming research at Indiana University |
| Starred by ramana.k...@gmail.com |
|---|
| Type | Name | Summary |
|---|---|---|
| Project | hol-light | HOL Light, an LCF-style interactive theorem prover for classical higher-order logic |