Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking
☆12May 23, 2018Updated 7 years ago
Alternatives and similar repositories for proof-assistant
Users that are interested in proof-assistant are comparing it to the libraries listed below
Sorting:
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated last month
- A python package to automate downloads of Salesforce Weekly Data Exports☆10Jan 26, 2021Updated 5 years ago
- This is literally playable☆10Jan 4, 2021Updated 5 years ago
- KCL Interface to UKB Project Data on Rosalind HPC cluster☆14Apr 22, 2023Updated 2 years ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- An extension to interact with DeSo Blockchain on few simple clicks 🥳☆12Jan 25, 2024Updated 2 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- Exploring the use of options in creating small worlds for faster learning in RL Domains☆16Jan 23, 2012Updated 14 years ago
- ☆10Jun 12, 2022Updated 3 years ago
- An implementation of Compositional Attention: Disentangling Search and Retrieval by MILA☆14Jun 1, 2022Updated 3 years ago
- Connection provers in Rust☆14Mar 13, 2024Updated last year
- Modern utility library and typescript typings for building JSON Schema documents☆14Nov 28, 2025Updated 3 months ago
- ☆11Oct 14, 2023Updated 2 years ago
- Extensible Symbolic Mathematics in Browser☆10Nov 5, 2024Updated last year
- A simple implementation of anti-spam bot for itmo opensource chat☆11Sep 29, 2025Updated 5 months ago
- Обертка для мини-игры "рабы" на python☆11Mar 31, 2021Updated 4 years ago
- A C# GitHub client with a Winforms UI☆16Jul 21, 2018Updated 7 years ago
- A tutorial system for learning the shell/command line. For Windows and macOS/Linux.☆10Feb 7, 2021Updated 5 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- A lambda calculus parser, evaluator and repl☆11Oct 30, 2021Updated 4 years ago
- This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.☆10Nov 23, 2022Updated 3 years ago
- Fast asynchronous GPU monitoring tool across multiple machines through SSH☆11Nov 26, 2024Updated last year
- A package for representing quasi-arrays☆11Feb 23, 2026Updated last week
- An esoteric programming language with just two data types: null and tape☆11Jan 31, 2024Updated 2 years ago
- ☆13Nov 2, 2021Updated 4 years ago
- Generate videos using Temporal, Google Gemini, and Veo 2.☆16Jul 11, 2025Updated 7 months ago
- Code for Bayesian inference for queueing networks with incomplete data☆12Jul 5, 2017Updated 8 years ago
- LLM-based prototype for nexgen AutoML☆12Oct 9, 2025Updated 4 months ago
- Tool for generating large number of screenshots using selenium☆13Mar 3, 2022Updated 3 years ago
- Performs automated backups of SalesForce.com data.☆11Jun 22, 2022Updated 3 years ago
- ☆10Dec 13, 2024Updated last year
- Gotta catch 'em all!☆12Apr 19, 2023Updated 2 years ago
- [Retired] Prototype idea for a multi-threaded ecs☆14Mar 27, 2020Updated 5 years ago
- ☆14Mar 1, 2023Updated 3 years ago
- A stateless password management solution☆11Sep 11, 2018Updated 7 years ago
- An implementation of the AlphaZero algorithm by Google Deepmind. Research paper here: https://arxiv.org/abs/1911.08265☆12Oct 10, 2024Updated last year
- Leveraging NLP and supervised learning methods to classify posts scraped via Reddit's API☆11Feb 5, 2019Updated 7 years ago
- code and data associated with CoMPosT: Characterizing and Evaluating Caricature in LLM Simulations☆11Oct 13, 2023Updated 2 years ago
- Host your documentation easily on Notion☆11Oct 30, 2022Updated 3 years ago