Topic: isabelle-hol Goto Github
Some thing interesting about isabelle-hol
Some thing interesting about isabelle-hol
isabelle-hol,A Collection of Isabelle Programming Hacks
User: adbrucker
Home Page: https://git.logicalhacking.com/adbrucker/isabelle-hacks
isabelle-hol,A formalization of projective geometry in Isabelle
User: anthonybordg
isabelle-hol,Formally Verified Conflict-Free Replicated Data Types
Organization: appgvs
Home Page: https://edu.epfl.ch/coursebook/en/formal-verification-CS-550
isabelle-hol,An unusual construction of the real numbers using Isabelle/HOL
User: ata-keskin
isabelle-hol,A Formalization of Martingales using Isabelle/HOL
User: ata-keskin
isabelle-hol,Cogent Project
Organization: au-ts
Home Page: https://trustworthy.systems/projects/TS/cogent.pml
isabelle-hol,This repository collects project-relevant Isabelle/HOL formalizations.
Organization: aureleenet
isabelle-hol,A curated set of links to formal methods involving provable code.
User: awesomo4000
isabelle-hol,
User: carlinmack
Home Page: https://afp.theoremproving.org
isabelle-hol,Theorem proving geometry of sections in Isabelle
User: celinadongye
isabelle-hol,
User: celinadongye
isabelle-hol,A formal proof of the Zeckendorf theorem in Isabelle/HOL
User: chrisdalvit
Home Page: https://www.isa-afp.org/entries/Zeckendorf.html
isabelle-hol,Formal Primal-Dual Analysis of Online Matching Algorithms
User: cmadlener
isabelle-hol,Formalisation of MPC in Isabelle/HOL
User: davetbutler
isabelle-hol,
User: davidsanan
Home Page: https://davidsanan.github.io/
isabelle-hol,Hello World in Isabelle, compiled to Haskell
User: diekmann
isabelle-hol,Kategorischer Imperativ in Isabelle/HOL (experimental)
User: diekmann
isabelle-hol,Isabelle theory about bounded operators
User: dominique-unruh
isabelle-hol,Verification-related documentation and code for pluto.
Organization: go-pluto
Home Page: https://github.com/go-pluto/pluto
isabelle-hol,Categorical Semantics of Intuitionistic Multiplicative Linear Logic written in Isabelle/HOL
User: haskdev0
isabelle-hol,an approximation algorithm for the metric travelling salesperson problem, formulated within the Isabelle Refinement Framework
User: helli
isabelle-hol,Algorítmica funcional verificada
User: jaalonso
isabelle-hol,Recopilación de cursos de razonamiento automático.
User: jaalonso
isabelle-hol,Readings on computational logic, interactive theorem proving and functional programming.
User: jaalonso
isabelle-hol,Curso de "Razonamiento automático"
User: jaalonso
isabelle-hol,Semánticas de lenguajes de programación formalizadas en Isabelle/HOL
User: jaalonso
isabelle-hol,A small introduction to Isabelle/HOL
User: jeltsch
isabelle-hol,「情報数学講座(第7巻)プログラム意味論」(著: 横内寛文)の形式的証明
User: kuniwak
Home Page: https://www.kyoritsu-pub.co.jp/book/b10008105.html
isabelle-hol,Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).
Organization: logicalhacking
isabelle-hol,Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
Organization: logicalhacking
isabelle-hol,Isabelle/OFMC - Linking OFMC and Isabelle/HOL
Organization: logicalhacking
Home Page: https://www.brucker.ch/projects/isabelle-ofmc/
isabelle-hol,
Organization: logicalhacking
isabelle-hol,Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP).
Organization: logicalhacking
isabelle-hol,Local mirror of Formal Network Models and Their Application to Firewall Policies (UPF-Firewall) entry of the Archive of Formal Proofs (AFP).
Organization: logicalhacking
isabelle-hol,Advent of Code solutions, in OCaml and (sometimes) Isabelle/HOL
User: lukaskollmer
isabelle-hol,some sorting algorithms' formalisation
User: marco10507
isabelle-hol,Isabelle-HOL with TeXlive docker image
User: pefribeiro
isabelle-hol,Formalization of Robin Milner's bigraphs in Isabelle/HOL
User: pilif0
isabelle-hol,2017 [Isabelle2016-1] soundness proof for concurrent separation logic (CSL)
User: qin-yu
Home Page: https://people.mpi-sws.org/~viktor/cslsound/
isabelle-hol,Formalisation in Isabelle/HOL of Schutz' axioms for Minkowski spacetime (and theorems of Chapter 3).
User: rhjs94
isabelle-hol,A small and simple set of automated proofs written in Isabelle
User: s-nandi
isabelle-hol,Collection of explainatory example proofs for popular proof assistants.
User: satyendrabanjare
isabelle-hol,Viz Isabelle ⟨l, a, r⟩ graphs
User: sorenmulli
isabelle-hol,Propositional logic and FOL proofs (froward style)
User: svenwille
isabelle-hol,Formal verification in Isabelle(HOL) of Hopcroft's algorithm for minimizing DFAs including runtime analysis
User: vtrelat
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.