Isabelle server for AI agents (MCP or command-based) using PIDE.
☆22Nov 6, 2026Updated this week
Alternatives and similar repositories for isabelle-pide-ai
Users that are interested in isabelle-pide-ai are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verification infrastructure for the Isabelle/HOL interactive proof assistant☆115Oct 6, 2026Updated last month
- A vim-emulator for jEdit 5☆15Apr 4, 2023Updated 3 years ago
- Linter component for Isabelle.☆23Oct 26, 2026Updated last week
- Lean 4 library and knowledge base for computational economics☆42Oct 14, 2026Updated 3 weeks ago
- 私（keitakn）がエンジニアリングを行う際に利用しているスキル一覧☆16Oct 8, 2026Updated last month
- 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.
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- Experience Analysis Utility Functions☆11Oct 25, 2026Updated 2 weeks ago
- FPGA implementation of the Blit terminal☆14Dec 26, 2019Updated 6 years ago
- ☆12Dec 4, 2021Updated 4 years ago
- now I have become apex, multiplexor of all☆19Updated this week
- ☆16Apr 23, 2023Updated 3 years ago
- A collection of research papers related to Natural Language Reasoning☆10May 27, 2022Updated 4 years ago
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 7 months ago
- A plugin for inserting mathematical equations into Adobe Illustrator and InDesign using LaTeX notation.☆14Feb 5, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆75Aug 9, 2026Updated 2 months ago
- ☆25Apr 15, 2026Updated 6 months ago
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- My PhD thesis.☆15Jun 30, 2023Updated 3 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 4 years ago
- DPDK-based UDP echo server☆13Mar 27, 2016Updated 10 years ago
- An Encoding of Interaction Nets in OCaml☆10Jul 3, 2024Updated 2 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆23Jun 4, 2026Updated 5 months ago
- An experiment with making a VPP plugin in Rust☆12Oct 16, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 3 years ago
- My own blog engine. It's been held together with duct tape since 2010☆11Oct 21, 2020Updated 6 years ago
- This role configures proxmox hosts and lxc vm containers☆11Apr 6, 2025Updated last year
- Linearizability Hoare Logic☆18Sep 16, 2026Updated last month
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆13Feb 7, 2025Updated last year
- llm-powered theorem proving for isabelle/hol☆17Jul 22, 2026Updated 3 months ago
- Multilingual Reasoning Gym enables the procedural generation of perfectly parallel multilingual reasoning datasets☆13Sep 11, 2026Updated last month
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated 6 months ago
- Code for the paper "Critical Thinking for Language Models"☆13Jun 1, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Examples and Tutorials using JuliaActuary packages.☆20Oct 25, 2026Updated 2 weeks ago
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated 2 years ago
- A collection of facilitative tools for LaTeX typesetting☆19Feb 20, 2026Updated 8 months ago
- Graph-based neural tactic prediction models for Coq.☆17Sep 17, 2025Updated last year
- Code Repository for "A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language Models".☆15Oct 14, 2022Updated 4 years ago
- The Unreliability of Explanations in Few-shot Prompting for Textual Reasoning (NeurIPS 2022)☆16Feb 11, 2023Updated 3 years ago
- ☆32Apr 4, 2026Updated 7 months ago