Block or Report
Block or report telephon
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: HTML
All languages
C
C++
Common Lisp
Coq
Dockerfile
Elm
HTML
JavaScript
Julia
Python
Rust
Scheme
Smalltalk
SuperCollider
TeX
TypeScript
Nothing to show
Sort by: Most stars
1
result
for source starred repositories
written in HTML
Clear filter
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.