Skip to content

Commit

Permalink
Merge branch 'htpy-coherence' of github.com:rzk-lang/sHoTT into htpy-…
Browse files Browse the repository at this point in the history 
…coherence
  • Loading branch information
@jonalfcam
jonalfcam committed Oct 15, 2023
2 parents 1cedae0 + 0cb0e87 commit ed96b65
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit ed96b65

Please sign in to comment.