Topic: sequent-calculus Goto Github
Some thing interesting about sequent-calculus
Some thing interesting about sequent-calculus
sequent-calculus,Intuitionistic and classical propositional logic library
User: artemmavrin
Home Page: https://artemmavrin.github.io/autoproof
sequent-calculus,Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
User: ayberkt
sequent-calculus,∇⎕ coloring
User: belegcuthalion
Home Page: https://arxiv.org/abs/2001.00997
sequent-calculus,boolean expression manipulator for educational purposes
User: boramalper
Home Page: http://labs.boramalper.org/boolexman
sequent-calculus,Présentation de l'article Focalisation and Classical Realizability de Guillaume Munch-Maccagnoni.
User: champitoad
sequent-calculus,Experiments with sequent calculi
User: clayrat
sequent-calculus,Code for the "Logic, machines and sequent calculus" talk
User: clayrat
sequent-calculus,Implementation of Gentzen's Sequent Calculus (LK) applied to creating and interrogating a database in natural language
User: digammaf
sequent-calculus,Master Thesis Project at LARA (EPFL)
User: floriancassayre
sequent-calculus,형식언어 ℒ에서 Gentzen의 추론 규칙에 따른 논증 타당성 검증기
User: jangjunha
Home Page: https://logic-validator.jangjunha.me
sequent-calculus,A classical propositional theorem prover in Haskell, using Wang's Algorithm.
User: joom
sequent-calculus,Pravda is a tool for teaching formal logic.
Organization: livrelogique
Home Page: http://pravda.irisa.fr/
sequent-calculus,a tiny LCF-style proof assistant.
Organization: ltics
sequent-calculus,pesca: Proof Editor for Sequent Calculus (mirror)
User: lucch
sequent-calculus,Equivalence of natural deduction and sequent calculus in HOL4
User: lxndrcx
sequent-calculus,命題論理のシークエント計算の簡単な実装 (Ruby版)
User: mizukami234
sequent-calculus,A web-based graphical proof assistant for LK and Hoare logic.
Organization: proof-tree-builder
Home Page: https://proof-tree-builder.github.io
sequent-calculus,The Logic of Spacetime in Coq
Organization: typicalmath
sequent-calculus,An automated LK deduction
User: wasabi315
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.