modal logic library for LEAN theorem prover
☆13Aug 20, 2017Updated 9 years ago
Alternatives and similar repositories for lean-modal
Users that are interested in lean-modal 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 roam/render component to display a table of contents that allows you to jump to a location.☆12Nov 21, 2021Updated 4 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths☆27Oct 11, 2026Updated 2 weeks ago
- Papers We ❤️ Joinville☆14May 29, 2020Updated 6 years ago
- ☆14Nov 29, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11Dec 1, 2021Updated 4 years ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated last year
- BibTeX database management in Idris☆18May 13, 2014Updated 12 years ago
- an obsidian plugin allows you to Embed videos and images and audios from your local device in your notes.☆21Feb 1, 2026Updated 8 months ago
- Hackintosh EFI folder for GPD P2Max 2019 (OpenCore 1.0.7 / Tahoe 26.6.2) with Wi-Fi 5 (802.11ac) and iGPU acceleration support.☆21Oct 6, 2026Updated 3 weeks ago
- An Emas Major Mode for editing Answer Set Programs☆13Apr 4, 2018Updated 8 years ago
- A Henkin-style completeness proof for the modal logic S5☆18Jun 20, 2021Updated 5 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Jul 5, 2026Updated 3 months ago
- Modal Logic Library in Coq☆16Apr 28, 2022Updated 4 years 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.
- Unofficial instructions for installing Puffin Internet Terminal (Puffin Browser) on Linux☆26Oct 6, 2023Updated 3 years ago
- A terrain generation learning project on bevy☆12Oct 8, 2021Updated 5 years ago
- OAuth Authentication with Custom Headers in Swift☆13Jan 27, 2015Updated 11 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- Ar Cuchicionado — um CaaS (Cuchi as a Service) para quem está com calor☆20Sep 20, 2026Updated last month
- sockets for Lean 4☆23Jul 10, 2025Updated last year
- Powerful Python-based metaprogramming for Rust☆14Updated this week
- Semirings are a powerful unifying abstraction for dynamic programming algorithms☆12Jul 14, 2026Updated 3 months ago
- Sidekiq extension providing a workflow API on top of Sidekiq Pro's batches☆29Apr 4, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A simple APL neural network.☆11May 11, 2016Updated 10 years ago
- Objective-C client for the Zotero API.☆20May 19, 2016Updated 10 years ago
- A simple Reversi game, written in Rust with love.☆13Jun 27, 2017Updated 9 years ago
- ☆18Oct 26, 2017Updated 9 years ago
- Distributed Atomspace.☆12Jul 24, 2026Updated 3 months ago
- Many Decades of AI Algorithms translated (src-to-src) into the Hyperon MeTTa Language☆11Feb 26, 2024Updated 2 years ago
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 6 years ago
- Pruning and Distilling Mixture-of-Experts into Dense Language Models☆21Sep 2, 2026Updated last month
- YAP is a high-performance Prolog compiler☆13Mar 11, 2011Updated 15 years 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.
- A Radarr/Sonarr Telegram Bot featuring user authentication/level access.☆23May 7, 2020Updated 6 years ago
- Universal token bonding for Cosmos networks☆14Mar 3, 2022Updated 4 years ago
- Common Lisp implementation of various AI/statistics related things.☆20Jun 27, 2026Updated 4 months ago
- Contador de Pessoas Vacinadas na Magrathea☆22Oct 11, 2021Updated 5 years ago
- A small go tool to download roms from known emulator websites☆19Dec 3, 2018Updated 7 years ago
- MeTTa module containing various flavors of backward and forward chaining, as well as converters between these flavors.☆16Sep 16, 2026Updated last month
- A collaborative business process modeling tool that uses TLA+ state machines as the shared artifact for structured stakeholder feedback. …☆12May 24, 2026Updated 5 months ago