Menkar
https://github.com/anuyts/menkar
We can never have enough theorem provers :D
[Thanks to Alex Gryzlov]
https://github.com/anuyts/menkar
We can never have enough theorem provers :D
[Thanks to Alex Gryzlov]
GitHub
anuyts/menkar
The multimode presheaf proof-assistant. Contribute to anuyts/menkar development by creating an account on GitHub.
By the way, check out @logicprogrammingchan because of recent and arguably interesting activity!
Flocq (Floats for Coq)
http://flocq.gforge.inria.fr/
http://flocq.gforge.inria.fr/
Cooking Classes with Datatype Generic Programming
http://www.stephendiehl.com/posts/generics.html
[Thanks to Levy]
http://www.stephendiehl.com/posts/generics.html
[Thanks to Levy]
Stephendiehl
Cooking Classes with Datatype Generic Programming
Personal Blog
A Core Quantitative Coeffect Calculus
https://lipn.univ-paris13.fr/~mazza/papers/CoreQuantCoeff.pdf
#graded #modal #logic
https://lipn.univ-paris13.fr/~mazza/papers/CoreQuantCoeff.pdf
#graded #modal #logic
(Tags are to fix horrible telegram search)
The space and motion of communicating agents
https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-draft.pdf
https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-draft.pdf
Humus
http://www.dalnefre.com/wp/humus/
Humus is a pure actor-based programming language that provides a foundation for software developers to build reliable concurrent computer systems
http://www.dalnefre.com/wp/humus/
Humus is a pure actor-based programming language that provides a foundation for software developers to build reliable concurrent computer systems
Functor, applicative, and monad
https://typeslogicscats.gitlab.io/posts/functor-applicative-monad.html
https://typeslogicscats.gitlab.io/posts/functor-applicative-monad.html
Towards a Bigraphical Encoding of Actors
http://cpcc.berkeley.edu/papers/ActorsEncoding.pdf
#actor #model #bigraphs #reactive
http://cpcc.berkeley.edu/papers/ActorsEncoding.pdf
#actor #model #bigraphs #reactive
Seminar notes on developments in bigraphs
https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-Seminars.pdf
#bigraphs #reactive
https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-Seminars.pdf
#bigraphs #reactive
Distributed execution of bigraphical reactive systems
https://arxiv.org/pdf/1503.02434v1.pdf
#bigraphs #distributed #reactive
https://arxiv.org/pdf/1503.02434v1.pdf
#bigraphs #distributed #reactive
Relational Algebra with Fancy Types
http://www.philipzucker.com/relational-algebra-with-fancy-types/
http://www.philipzucker.com/relational-algebra-with-fancy-types/
Hey There Buddo!
Relational Algebra with Fancy Types
Last time, I tried to give a primer of relations and relational algebra using the Haskell type type Rel a b = [(a,b)]. In this post we’re going to look at these ideas from a slightly differen…
If you are able and would like to contribute any free (and equivalently licensed) educational material, please do so at https://github.com/vojes-enterprises/FOEP, a project about gathering such with the final goal of having a source for anything to learn about!
GitHub
GitHub - vojes-enterprises/PreFOEP: Pre - Free and Open Education Project
Pre - Free and Open Education Project. Contribute to vojes-enterprises/PreFOEP development by creating an account on GitHub.
Idris 2 Now Runs on the JVM
https://groups.google.com/forum/m/?utm_medium=email&utm_source=footer#!topic/idris-lang/PyW_UZGanQU
https://groups.google.com/forum/m/?utm_medium=email&utm_source=footer#!topic/idris-lang/PyW_UZGanQU
The Provability of Consistency
https://arxiv.org/abs/1902.07404
https://arxiv.org/abs/1902.07404
arXiv.org
The Provability of Consistency
We offer a mathematical proof of consistency for Peano Arithmetic PA formalizable in PA. This result is compatible with Goedel's Second Incompleteness Theorem since our consistency proof does not...