Home My Page Projects Interoperability in Dedukti
Summary Activity SCM

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2014-09-30 16:52
Activity Ranking: 0
View project Statistics
View list of RSS feeds available for this project.
Public Tools
SCM Repository (Git: 276 updates, 97 adds)
Project description

Example of how to use Dedukti to make two logical systems interporable.