AMTeclipse
prealphaDescription
AMTeclipse is a plugin for the Eclipse-IDE supporting multiple concrete syntax notations for First-Order Logic (FOL).
Update Notifications
User Reviews
Be the first to post a review of AMTeclipse!
AMTeclipse is a plugin for the Eclipse-IDE supporting multiple concrete syntax notations for First-Order Logic (FOL).
Be the first to post a review of AMTeclipse!