ITP 2016: 7th International Conference on Interactive Theorem Proving
| Type | Conference |
|---|---|
| Title | ITP 2016: 7th International Conference on Interactive Theorem Proving |
| Event date | 22 to end of 25 Aug 2016 |
| Location | Nancy, France |
| Type | Conference |
|---|---|
| Title | ITP 2016: 7th International Conference on Interactive Theorem Proving |
| Event date | 22 to end of 25 Aug 2016 |
| Location | Nancy, France |