VSCode Extension - Proof Assistant for Metamath
☆14Jan 10, 2026Updated 7 months ago
Alternatives and similar repositories for Yamma
Users that are interested in Yamma are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Metamath in C++☆14Jun 4, 2019Updated 7 years ago
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆27Updated this week
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆25Jun 14, 2026Updated last month
- Metamath source file for logic and set theory☆337Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Metamath logic game☆10Updated this week
- Source of metamath book☆57Dec 22, 2023Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆80Sep 16, 2024Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Jul 18, 2022Updated 4 years ago
- 🌯A small library that wraps a Starboard Notebook iframe in the parent webpage☆15Oct 8, 2021Updated 4 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Sep 28, 2017Updated 8 years ago
- Set Theory Game☆29Jan 20, 2026Updated 6 months ago
- transforms html and replaces <img> tags with inline data URI driven images☆32Oct 14, 2024Updated last year
- Generic static analysis framework☆22Dec 7, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆17Jul 2, 2025Updated last year
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆14Mar 12, 2026Updated 5 months ago
- A different type of data visualization!☆29Sep 24, 2024Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆46May 7, 2025Updated last year
- Sega System 16 / OutRun / X-Board / Y-Board Sprite Viewer☆29Apr 24, 2021Updated 5 years ago
- Dynamic Social Network Simulation Data with Ground Truth Labels and Features☆14Updated this week
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆41Updated this week
- Scripts to preprocess mouse MRI/fMRI/dMRI☆12May 22, 2024Updated 2 years ago
- Redux middleware for xstate☆43Jul 13, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- DirectWrite bindings and wrapper for Rust☆14Feb 13, 2026Updated 6 months ago
- V-Mapper -☆10Aug 6, 2023Updated 3 years ago
- Chowdhury, S. and Mémoli, F., Persistent Path Homology of Directed Networks. SODA 2018.☆13Mar 30, 2021Updated 5 years ago
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 2024Updated 2 years ago
- Proving ground for changes to attohttpc☆12Mar 1, 2026Updated 5 months ago
- Example files to test interaction between models developed at the Allen Brain Institute and NeuroML☆17May 19, 2026Updated 2 months ago
- A flexible byte pool.☆19Apr 15, 2023Updated 3 years ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆104Jan 4, 2025Updated last year
- Conversion script to bring neuron models created in Blender into NeuroML format☆17Feb 17, 2026Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- metamath proof enumerators and other things☆98Nov 16, 2025Updated 8 months ago
- fast wrapper around some pixel manipulation☆27Sep 16, 2016Updated 9 years ago
- Alan Snyder's portable C Compiler☆18Nov 2, 2018Updated 7 years ago
- Make/Encode some basic logic puzzles☆20Jul 10, 2024Updated 2 years ago
- Visual Coding 2P analysis code☆18Jun 3, 2020Updated 6 years ago
- Small json parsing library based on MiniJSON☆13Apr 19, 2022Updated 4 years ago
- CancellationToken for composable cancellation in Rust☆18Oct 20, 2020Updated 5 years ago