Demo of lattice-based minikanren
policy-based designed c++ allocator
Malloc for cpp gc
Play with Google Play API :)
Project on Multiagent systems course
eupp/coq 0
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
push eventEvent-Structures/event-struct
commit sha 0ff3fcfc431a476298d44ff4cace9a9bc4f759f1
feat: definition of general PES and its instance from simple PES
commit sha ae34e145a59ea7dfa865f54f0d6ea550acd36a0e
refactor: use Modules `Prime` and `PrimeCons` as namespaces
commit sha 69138e3ce9a5b1f8e36b56d29e8d46d0e83065b0
refactor: change notation for conflict
commit sha b80b1506b352eedc5ebd5be889f6fb4304c4d92c
refactor: rename
commit sha e705145d1e6783c4612363068afc1b115b64b64f
docs: add prime event structures with general conflict to docs * TODO: write a single description of common parts of various event structure concepts?
commit sha 4ee49e1fbb5ccd4b65a5500ecb3ee84414cad13f
refactor: rename `gcf_of_cf` --> `gcf`
commit sha f35ecfd4ec2b778048964313227a66571dd4b001
refactor: shorten proofs * introduce `fset_existsP` and `fset_exists2P`
commit sha 54f602ab246d99df49149da1754dbb7a396622ed
fix: add coercions, add basic tests for hierarchy
commit sha 6bb7e79a8113a0661307c295283dd6a743354cf5
refactor: minor
commit sha fb267e69015c9a09dc7ce87e3901d790ebee48a8
Merge pull request #109 from Event-Structures/general_pes Definition of prime event structures with general conflict
push time in 2 days
PR merged Event-Structures/event-struct
pr closed time in 2 days
push eventJetBrains-Research/OCanren
commit sha 81ae81a5aae573fa9b0056e0a60e67065fa7468a
Micro refactoring
push time in 2 days
issue openedEvent-Structures/event-struct
Drop ssrnatlia.v after Coq 8.14 is released
coq-mathcomp-zify does what we need:
opam info coq-mathcomp-zify
<><> coq-mathcomp-zify: information on all versions <><><><><><><><><><><><> 🐫
name coq-mathcomp-zify
all-installed-versions dev [coq8.13]
all-versions 1.0.0+1.12+8.13 dev
<><> Version-specific details <><><><><><><><><><><><><><><><><><><><><><><> 🐫
version dev
repository coq-extra-dev
source-hash a1cca0ee
url.src: "git+https://github.com/math-comp/mczify.git#master"
homepage: "https://github.com/math-comp/mczify"
bug-reports: "https://github.com/math-comp/mczify/issues"
dev-repo: "git+https://github.com/math-comp/mczify.git"
authors: "Kazuhiko Sakaguchi"
maintainer: "[email protected]"
license: "CECILL-B"
tags: "logpath:mathcomp.zify"
depends: "coq" {(>= "8.13" & < "8.14~") | (= "dev")}
"coq-mathcomp-algebra" {(>= "1.12" & < "1.13~") | (= "dev")}
synopsis Micromega tactics for Mathematical Components
description This small library enables the use of the Micromega tactics for goals stated
with the definitions of the Mathematical Components library by extending the
zify tactic.
created time in 2 days
PR opened Event-Structures/event-struct
The version we had is not reliable across the supported Coq versions.
pr created time in 2 days
PR opened Event-Structures/event-struct
pr created time in 3 days
push eventJetBrains-Research/OCanren
commit sha 6a5287405729726fbd4f430dd32cd80020097e33
Fixed errors
push time in 3 days
push eventJetBrains-Research/OCanren
commit sha 7528afb40464476b7fea02db10d662aa0f93a604
Added complexity paper
push time in 3 days
startedjonsterling/coq-domains
started time in 4 days
startedjonsterling/coq-domains
started time in 4 days
PR opened Event-Structures/event-struct
pr created time in 4 days
push eventEvent-Structures/event-struct
commit sha 26a0d4f0a655624f251f929af84a389937a1a721
fix: remove phantom from prime_porfPrime canonical instance
push time in 4 days
startedfrex-project/idris-frex
started time in 4 days
startedbedrocksystems/coq-lens
started time in 4 days
startedjonsterling/agda-effectful-forcing
started time in 4 days
push eventEvent-Structures/event-struct
commit sha 0a80856615a8eb83188b02762d49b5683a9a9d9e
feat: make prime_porf_eventstruct an instance of prime event structure
commit sha b58f83e42c3741f964bf85711285aa2e42923004
porf: make instances
commit sha 667eaad87478f172772a1a755818a233ba9f95a6
feat(pomset): wip --- pomset instance foo porf_eventstruct
commit sha ceb030d19f04a9576939b180c5014e6f98e29067
feat: prime_eventstruct instance for prime_porf_eventstruct and corresponding notations
commit sha e0c0e92c0a8856231c43d9f403e8fb13fccb6a54
fix: minor renaming
commit sha 157666ea642789323bb4439f3272fd2af2a76e18
fix: minor
commit sha e9385a39da244dacbd2da7212c95409f8962060a
fix: try to fix for coq-8.11
commit sha aa148510e02b2b746ff0a4d8d1c936b01f33e96f
fix: add notation for pomset type
commit sha 30529155d9ed6d1002ad6cb67efda846f2003b97
fix: try to fix for coq-8.11
commit sha 35bd6795b2da7f458cd7250f29e6fd452b14d8ba
fix: try to fix for coq-8.11
commit sha 44e828057cd1fa60175cf52edf3d9fa2eb2e55f8
fix: fix for coq-8.11
commit sha 81bd77d5e8e161fe12df9987c32012e8ab53e58b
fix: add TODO
commit sha 873c5f146907591609ac9b97f154796e9f1f304b
Merge pull request #104 from Event-Structures/primeporf_instance Make prime_porf_eventstruct an instance of prime event structure
push time in 5 days
PR merged Event-Structures/event-struct
pr closed time in 5 days
push eventEvent-Structures/event-struct
commit sha 81bd77d5e8e161fe12df9987c32012e8ab53e58b
fix: add TODO
push time in 5 days
push eventEvent-Structures/event-struct
commit sha 44e828057cd1fa60175cf52edf3d9fa2eb2e55f8
fix: fix for coq-8.11
push time in 6 days
startedneuralchen/ASMAGAN
started time in 6 days
startedneuralchen/SimSwap
started time in 6 days
push eventEvent-Structures/event-struct
commit sha 35bd6795b2da7f458cd7250f29e6fd452b14d8ba
fix: try to fix for coq-8.11
push time in 6 days