Comments (3)
We are definitely looking to expand the version compatibility. Right now the main "blocker" was our examples. If you plan on actively using our library, however, we could certainly look into getting it released on opam and working with 8.19. Are you at all concerned about versions <8.14?
from coq-hott.
Currently there is a branch with compatibility for versions 8.16-8.19 and we will likely be looking to merge that soon.
from coq-hott.
@adrianleh We are 8.18 and above. I'm just worried if we bump to 8.19 we would fall out of compatibility.
from coq-hott.
Related Issues (20)
- dune frequently making full builds HOT 9
- Tensor products of modules
- Add break hints to =, ==, $==, $->
- Add `_ $== _ :> _` notation exposing the underlying type of homs
- Homological algebra lemmas HOT 3
- Spectral sequences HOT 5
- Experiment with redefining bifunctors as uncurried functors
- Work out why test/WildCat/Opposite.v is slow HOT 2
- Remove redundant fields from Ring
- Generalize lhs, lhs_V, rhs and rhs_V to all transitive relations HOT 2
- Define matrices as functions HOT 2
- Define matrices as a collection of columns rather than a collection of rows
- General Linear group HOT 1
- Finite fields (Galois fields)
- Prime numbers
- Idempotent ring elements
- grp_pow and related things
- Tensor product of cyclic groups
- use CongruenceQuotient to define coequalizer
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from coq-hott.