https://github.com/alpaylan/type-inference-python
This repository contains the early attempts of creating proof of concept implementation for type inference and type check using z3 smt solver.
https://github.com/alpaylan/type-inference-python
Last synced: about 2 months ago
JSON representation
This repository contains the early attempts of creating proof of concept implementation for type inference and type check using z3 smt solver.
- Host: GitHub
- URL: https://github.com/alpaylan/type-inference-python
- Owner: alpaylan
- Created: 2021-04-18T15:49:59.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2021-04-18T15:51:05.000Z (about 4 years ago)
- Last Synced: 2025-01-30T01:41:50.088Z (4 months ago)
- Language: Python
- Size: 0 Bytes
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files: