advancedresearch / pocket_proverView external linksLinks
A fast, brute force, automatic theorem prover for first order logic
☆42Sep 20, 2024Updated last year
Alternatives and similar repositories for pocket_prover
Users that are interested in pocket_prover are comparing it to the libraries listed below
Sorting:
- A monotonic solver designed to be easy to use with Rust enum expressions☆49Apr 11, 2021Updated 4 years ago
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated last month
- Propositional logic with types in Rust☆65Aug 1, 2023Updated 2 years ago
- Quickly clean up your development directories before backups☆20Jul 12, 2022Updated 3 years ago
- Library for backtracking with customizable search for moves☆24Dec 16, 2025Updated last month
- A DSL parsing library for human readable text documents☆92Apr 12, 2021Updated 4 years ago
- A research project in path semantics, a re-interpretation of functions for expressing mathematics☆177Jan 24, 2026Updated 2 weeks ago
- Probability distributions and statistics in Rust with integrated fitting routines, convolution support and mixtures.☆10Mar 19, 2024Updated last year
- A leaner structure of arrays implementation with a vec of tuples like public interface☆13Nov 6, 2022Updated 3 years ago
- an environment-neutral Web server capability☆12Mar 11, 2025Updated 11 months ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- a pragmatic point-free theorem prover assistant☆143Sep 21, 2025Updated 4 months ago
- Mathematica syntax for Symata.jl☆14Jun 2, 2020Updated 5 years ago
- C implementation of the CLT13 multilinear map☆14Nov 29, 2018Updated 7 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆16Jan 31, 2021Updated 5 years ago
- gui for dialogue graphs, et al.☆12May 16, 2017Updated 8 years ago
- 4chan JSON API client for Go☆13Jul 5, 2018Updated 7 years ago
- The website for the AdvancedResearch community☆21Updated this week
- ☆16Jan 20, 2024Updated 2 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16May 4, 2018Updated 7 years ago
- A research project to mix-regulate economy in MMO worlds☆34Mar 15, 2024Updated last year
- Manipulations and data types that represent polynomial☆19Updated this week
- Allocator of fixed sized blocks from pre-allocated arena☆18Oct 29, 2017Updated 8 years ago
- Faster Rational-like types for Julia☆23Apr 8, 2024Updated last year
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- Modern, Opinionated Multicall Library☆23Feb 27, 2022Updated 3 years ago
- Dual Number library for Rust☆17Apr 29, 2021Updated 4 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆20Aug 16, 2018Updated 7 years ago
- feyngen and feyncop - Two programs for calculations with Feynman graphs☆20Jan 28, 2025Updated last year
- Toy experiment of a text editing node graph in Rust☆15Dec 31, 2017Updated 8 years ago
- ☆20May 14, 2021Updated 4 years ago
- Interface to the RobotLocomotion Drake Visualizer tool from Julia☆18Feb 8, 2020Updated 6 years ago
- [ABANDONED] An in-memory structure database for Rust.☆18Jan 19, 2019Updated 7 years ago
- A simple and type agnostic Rust library for quaternion math designed for reexporting☆13Oct 20, 2024Updated last year
- A crate for converting an ASCII text string to a single unicode grapheme cluster and back. Also provides a macro to embed encoded source …☆21Updated this week
- ☆27Sep 25, 2023Updated 2 years ago
- Cartesian product, Combination, and Permutation library for Rust☆25Sep 2, 2022Updated 3 years ago
- Experimental persistent collections in Rust☆45Oct 25, 2017Updated 8 years ago
- Elementary Number Theory for Integers in Rust☆20Mar 7, 2025Updated 11 months ago