pesca: Proof Editor for Sequent Calculus (mirror)
-
Updated
Dec 2, 2016 - Haskell
pesca: Proof Editor for Sequent Calculus (mirror)
Aplicación creada con Android Studio que permite guardar los datos más relevantes de nuestras capturas de pesca, consultar los tipos de peces existentes y las zonas más populares para pescarlos.
Programa Matchbox de Engine Room para Causa Natura
Registro y Control de Licencias de Pesca. Para proporcionar la herramienta informática que permita la gestión electrónica de los permisos y licencias de pesca rectorados por el MINAL. Además facilitar las gestiones de los usuarios del registro para obtener los permisos y licencias que a través de este se emiten. Contribuyendo así al desarrollo d…
Add a description, image, and links to the pesca topic page so that developers can more easily learn about it.
To associate your repository with the pesca topic, visit your repo's landing page and select "manage topics."