Topic: isabelle Goto Github
Some thing interesting about isabelle
Some thing interesting about isabelle
isabelle,A Collection of Isabelle Programming Hacks
User: adbrucker
Home Page: https://git.logicalhacking.com/adbrucker/isabelle-hacks
isabelle,A curated set of links to formal methods involving provable code.
User: awesomo4000
isabelle,ISSABEL simple API Restful JSON: Provide call history reports from Issabel for a Call center powered by PHP with a JSON web-service interface
User: basemax
Home Page: https://www.issabel.com
isabelle,
User: carlinmack
Home Page: https://afp.theoremproving.org
isabelle,Theorem proving geometry of sections in Isabelle
User: celinadongye
isabelle,A formal proof of the Zeckendorf theorem in Isabelle/HOL
User: chrisdalvit
Home Page: https://www.isa-afp.org/entries/Zeckendorf.html
isabelle,
Organization: data61
isabelle,Verified iptables Firewall Ruleset Analysis
User: diekmann
Home Page: http://iptables.isabelle.systems/
isabelle,Git clone of official afp repositories
User: dominique-unruh
isabelle,A Scala library for controlling/interacting with Isabelle
User: dominique-unruh
Home Page: https://dominique-unruh.github.io/scala-isabelle
isabelle,Verification-related documentation and code for pluto.
Organization: go-pluto
Home Page: https://github.com/go-pluto/pluto
isabelle,A client for Isabelle server (https://isabelle.in.tum.de)
User: inpefess
isabelle,An automated equivalence reasoner for Isabelle/HOL
Organization: input-output-hk
isabelle,ATMEGA32U4 code for the physical Sledgehammer device developed at TUM
Organization: isabelle-prover
isabelle,An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Organization: isabelle-utp
isabelle,Ejercicios de demostración con Lean e Isabelle/HOL.
User: jaalonso
isabelle,Semánticas de lenguajes de programación formalizadas en Isabelle/HOL
User: jaalonso
isabelle,Useful syntactic sugar, new operators and functions, and their associated lemmas for finite maps which currently are not present in the standard `Finite_Map` theory.
User: javierdiaz72
isabelle,An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
User: jaycech3n
isabelle,A dependent type theory logic for Isabelle
User: jaycech3n
isabelle,GitHub action for building Isabelle sessions
User: jeltsch
isabelle,A new foundational package for Isabelle/HOL that implements binding-aware datatypes
User: jvanbruegge
isabelle,QuickCheck-like testing framework for Isabelle/ML
User: kappelmann
isabelle,A Scala library which talks to Isabelle (DISCONTINUED)
User: larsrh
isabelle,LaTeX sources of my PhD thesis (ARCHIVED)
User: larsrh
Home Page: https://lars.hupel.info/research/codegen/
isabelle,Experiments in Isabelle/Pure (and a bit of HOL) (ARCHIVED)
User: larsrh
isabelle,Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Organization: logicalhacking
Home Page: https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
isabelle,Advent of Code solutions, in OCaml and (sometimes) Isabelle/HOL
User: lukaskollmer
isabelle,A Verified Imperative Implementation of B+-Trees in Isabelle
User: nielstron
isabelle,Model finder for higher-order logic
Organization: nunchaku-inria
Home Page: https://nunchaku-inria.github.io/nunchaku/
isabelle,Alternative EVM smart contract language
User: pinpickle
isabelle,Exercises from the Prog-Prove manual of Isabelle
User: rohitdureja
isabelle,Explanator2 is an online monitor that produces verdicts in the form of explanations for Metric Temporal Logic formulas.
Organization: runtime-monitoring
Home Page: https://runtime-monitoring.github.io/explanator2/
isabelle,🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Isabelle category for AI2001, containing Isabelle programming language datasets
User: seanpm2001
Home Page: https://github.com/seanpm2001/AI2001_Category-Source_code/
isabelle,The Isabelle Proof-assistant language IDE submodule for SNU Programming Tools (2D Mode)
User: seanpm2001
Home Page: https://github.com/seanpm2001/SNU_2D_ProgrammingTools/
isabelle,seL4 specification and proofs
Organization: sel4
Home Page: https://sel4.systems
isabelle,Isabelle/HOL theories for the paper "Backwards and Forwards with Separation Logic".
Organization: sel4proj
isabelle,Propositional logic and FOL proofs (froward style)
User: svenwille
isabelle,A project to integrate the functionality of Computer Algebra Systems into Isabelle
User: thomashickman
isabelle,Because PIDE is not my editor.
User: threefx
isabelle,Formalizing the KZG polynomial commitment scheme in the Interactive Theorem Prover Isabelle.
User: tobias-rothmann
isabelle,Verifying the optimization phases of the GraalVM compiler
Organization: uqcyber
isabelle,Fully verified model checker for realtime systems
User: wimmers
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.