Sign in
Join now
nixpkgs
pyrox.dev
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
lol
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
nixpkgs
/
pkgs
/
development
/
rocq-modules
13 folders
at
master
Vincent Laporte
·
rocqPackages.relation-algebra: enable for Rocq 9.1
·
7mo ago
7017019b
bignums
rocqPackages.stdlib: 9.1.0 -> 9.2.0
8mo ago
hierarchy-builder
rocqPackages.hierarchy-builder: 1.10.0 -> 1.10.2
9mo ago
iris
rocqPackages.iris: init at 4.5.0
7mo ago
mathcomp
Rocq: Update documentation
9mo ago
mathcomp-analysis
rocqPackages.mathcomp-analysis: init at 1.16.0
7mo ago
mathcomp-bigenough
rocqPackages.mathcomp-bigenough: init at 1.0.4
8mo ago
mathcomp-finmap
rocqPackages.mathcomp-finmap: init at 2.2.2
8mo ago
parseque
rocqPackages.stdlib: 9.1.0 -> 9.2.0
8mo ago
relation-algebra
rocqPackages.relation-algebra: enable for Rocq 9.1
7mo ago
rocq-elpi
ocamlPackages.elpi: 3.6.1 -> 3.6.2
7mo ago
stdlib
rocqPackages.stdlib: 9.1.0 -> 9.2.0
8mo ago
stdpp
rocqPackages.stdpp: init at 1.13.0
7mo ago
vsrocq-language-server
coqPackages.vsrocq-language-server: init at 2.3.4
9mo ago
