Home

Magnus Knuth

AMTeclipse is a plugin for the Eclipse-IDE supporting multiple concrete syntax notations for First-Order Logic (FOL).


Project Admins: