🐕
I really like dogs. They are so fun to play with, simple to care for, and cute.
Stars
- All languages
- Ada
- Assembly
- BlitzMax
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- D
- EJS
- Emacs Lisp
- F#
- Go
- Groovy
- HTML
- HolyC
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- Makefile
- Mathematica
- Nextflow
- OCaml
- Objective-C
- PHP
- Processing
- Python
- R
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- Squirrel
- Svelte
- Swift
- TeX
- TypeScript
- Vala
- Vue
2
stars
written in Objective-C
Clear filter
Analytica is an automatic theorem prover for theorems in elementary analysis. The prover is written in Mathematica language and runs in the Mathematica environment. The goal of the project is to us…