Skip to content

GitLab

Explore

Sign in

Ezequiel Orbe
modal2fo

M

modal2fo

Project information

A modal logic to first order logic translator

0 Commits
1 Branch
0 Tags

Created on

August 16, 2014

Copy SSH clone URLgit@git.cs.famaf.unc.edu.ar:eorbe/modal2fo.git
Copy HTTPS clone URLhttps://git.cs.famaf.unc.edu.ar/eorbe/modal2fo.git