#
otter
Here are 57 public repositories matching this topic...
A simple, easy to use ssh connection tool for Alfred 3
-
Updated
Feb 5, 2018 - Python
Recopilación de cursos de razonamiento automático.
coq
proof-assistant
courses
agda
lean
isabelle-hol
prover9
pvs
interactive-theorem-proving
otter
automated-reasoning
acl2
-
Updated
Jun 24, 2022
2D game based on The Binding of Isaac mechanics
-
Updated
Aug 6, 2023 - Java
A command line interface for TotalTechGeek's Ottermator.
-
Updated
Aug 20, 2021 - JavaScript
OtterStepMini is a user friendly, up to 48V 10A stepper-motor-driver with USB-CDC and USB-PD for desktop-applications.
-
Updated
Dec 28, 2021
A reasoning system built in OTTER (theorem prover) solving the "cyphers" problem
-
Updated
May 17, 2018
Improve this page
Add a description, image, and links to the otter topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the otter topic, visit your repo's landing page and select "manage topics."