2 search results for "tag:"logpath:bedrock2""

Showing 1 - 2
  1. coq-bedrock2

    No documentation

    A work-in-progress language and compiler for verified low-level programming
    logpath:bedrock2
    Massachusetts Institute of Technology Kevix SiFive
    0.0.8
    MIT
    Used by 2 other packages
    22 Apr 2024
  2. coq-bedrock2-compiler

    No documentation

    A work-in-progress language and compiler for verified low-level programming (compiler part)
    logpath:bedrock2
    Massachusetts Institute of Technology Kevix SiFive
    0.0.8
    MIT
    Used by 1 other packages
    22 Apr 2024