The Higher Education and Research forge

Home My Page Projects Code Snippets Project Openings system-f-hamza
Summary Tasks Docs SCM Files

Project description

Experiments on canonical proof representations for System F.

Etablishment : E.N.S. de Lyon

Project Information

No tag defined for this project


This project has not yet categorized itself in the Trove Software Map Registered: 2024-03-13 13:25
Public Tools
Document Manager (0 documents in 1 directories)
Files (0 releases in 0 packages)
Tasks
There are no subprojects available
SCM Repository (Git: 59 updates, 24 adds)
Project Members