GitHub repository: Austin-Cook/cs-329-type-checking
Primary language: Java
Created: 2024-11-19T23:47:12Z
Description: Generate static type proofs for Java programs. Uses org.eclipse.jdt.core.dom package to traverse the Java abstract syntax tree.