package rocq-runtime
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >
  
  
  The Rocq Prover -- Core Binaries and Tools
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
  
    
      rocq-9.1.0.tar.gz
    
    
        
    
  
  
  
    
  
        sha256=b236dc44f92e1eeca6877c7ee188a90c2303497fe7beb99df711ed5a7ce0d824
    
    
  doc/src/nsatz_plugin/nsatz_plugin.ml.html
Source file nsatz_plugin.ml
1 2 3 4(* generated by dune *) (** @canonical Nsatz_plugin.G_nsatz *) module G_nsatz = Nsatz_plugin__G_nsatz
 sectionYPositions = computeSectionYPositions($el), 10)"
  x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
  >