Autonomous Theorem Prover for First Order Predicate Logic
☆12Jun 29, 2020Updated 6 years ago
Alternatives and similar repositories for first-order-predicate-logic-theorem-prover
Users that are interested in first-order-predicate-logic-theorem-prover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Python program that tries to prove a statement given a set of propositions in first order logic.☆10Jul 13, 2015Updated 11 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 3 months ago
- Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala☆14May 6, 2019Updated 7 years ago
- SATySFi parser writtern in Rust.☆14Apr 14, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆12May 9, 2021Updated 5 years ago
- vue可视化配置echarts图表编辑器☆11Nov 2, 2020Updated 6 years ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- Open source F# mathematical logic library.☆13May 16, 2022Updated 4 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
- You're one command away from deploying your Streamlit app on AWS Fargate!☆48Mar 24, 2021Updated 5 years ago
- 极光推送Golang客户端，支持异步发送队列☆13Oct 9, 2019Updated 7 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆19Oct 23, 2012Updated 14 years ago
- simple rollback mechanism made with unity☆15Mar 28, 2021Updated 5 years ago
- A list of Numerical Multimodal reasoning papers and their implementation☆11May 13, 2024Updated 2 years ago
- プログラミングの初歩を学んでもらうための無料教材☆14Sep 28, 2021Updated 5 years ago
- Implementation of the paper "Improving the Accuracy-Robustness Trade-off of Classifiers via Adaptive Smoothing".☆10Feb 6, 2024Updated 2 years ago
- python programs and procedures that facilitate local application of the earth2observe global water resources reanalysis☆10Nov 21, 2017Updated 8 years ago
- GTA(Go Task Async) is a lightweight reliable asynchronous task and transaction message library for Golang / GTA是一个轻量的可靠异步任务和事务消息的框架☆14May 19, 2021Updated 5 years ago
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated 2 years ago
- MiniSat reimplemented in Rust☆21Apr 18, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- opentqa is a open framework of the textbook question answering, which includes xtqa, mcan, cmr, mfb, mutan.☆11Mar 27, 2021Updated 5 years ago
- Fast extraction of all external links from wikipedia☆13Sep 22, 2018Updated 8 years ago
- The dataset and code of XplainLLM paper☆14Sep 24, 2024Updated 2 years ago
- Yet Another Efficient Unification Algorithm☆28Oct 10, 2025Updated last year
- code for the table-based open domain question answering project, with paper title: "Reasoning over Hybrid Chain for Table-and-Text Open D…☆12Sep 16, 2022Updated 4 years ago
- APUE(Unix环境高级编程)例子Golang版实现☆18Nov 30, 2015Updated 10 years ago
- An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more☆12Aug 7, 2024Updated 2 years ago
- The heptabase mcp☆17May 24, 2025Updated last year
- ☆12Jun 23, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Resolution theorem proving for predicate logic in pure Python.☆99Nov 20, 2023Updated 2 years ago
- Data and code for ACL 2023 paper "RobuT: A Systematic Study of Table QA Robustness Against Human-Annotated Adversarial Perturbations"☆15Feb 8, 2024Updated 2 years ago
- 浅井健一『プログラミングの基礎』でプログラミングやOCamlを学ぶ。☆16May 19, 2018Updated 8 years ago
- The code for paper "ProQA: Structural Prompt-based Pre-training for Unified Question Answering"☆11Feb 7, 2023Updated 3 years ago
- Demo project for elaborating how hot and cold retries can be applied in Kafka☆12Jan 25, 2022Updated 4 years ago
- [EMNLP'2023 Findings] MoqaGPT, for zero-shot multimodal question answering with LLMs☆13Dec 28, 2024Updated last year
- Dataset and model in the paper "SciXGen: A Scientific Paper Dataset for Context-Aware Text Generation"☆13Feb 14, 2022Updated 4 years ago