IDP3IDE

Project information

Project ID: 54440381

IDP3-IDE is an IDE based on webID for knowledge base system IDP3.

logic knowledge base ide

125 Commits
4 Branches
19 Tags
3 Releases

README
GNU General Public License v3.0 or later
CHANGELOG

Created on

January 31, 2024