pesca: Proof Editor for Sequent Calculus (mirror)
-
Updated
Dec 2, 2016 - Haskell
#
pesca
Here are 5 public repositories matching this topic...
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.
-
Updated
Mar 17, 2023 - Kotlin
Programa Matchbox de Engine Room para Causa Natura
-
Updated
Jun 22, 2017 - Jupyter Notebook
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…
-
Updated
Jul 28, 2021 - TypeScript
Improve this page
Add a description, image, and links to the pesca topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the pesca topic, visit your repo's landing page and select "manage topics."