Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

IDP3IDE

Project information

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

logic knowledge base ide

118 Commits
4 Branches
18 Tags
3 Releases

README
GNU General Public License v3.0 or later
CHANGELOG

Created on

January 31, 2024

Copy SSH clone URLgit@gitlab.com:krr/IDP3IDE.git
Copy HTTPS clone URLhttps://gitlab.com/krr/IDP3IDE.git

Loading