Loreon
Labs
Platform
Docs
Home
Ecosystems
F*
FStar
Verification system for effectful programs
F*
Emerging
GitHub
Website
Stars
—
Forks
—
Contributors
8
Last push
88mo ago
Recent commits
Latest commits.
Merge branch 'master' into gugavaro_build
8c6be01
Gustavo Varo
89mo ago
Adding script to build container locally
cd5c249
Gustavo Varo
89mo ago
moving zero bytes lemmas to endianness
3e154df
Aseem Rastogi
89mo ago
using reveal lemmas from endianness rather than friending it
cd35658
Aseem Rastogi
89mo ago
adding reveal lemmas for le_to_n and be_to_n
c5756ed
Aseem Rastogi
89mo ago
Merge branch 'master' into _aseem_freezable_buffers
1735f87
Aseem Rastogi
89mo ago
removing assumes from the implementation of prefix freezable buffers using the endianness modules
895a1f2
Aseem Rastogi
89mo ago
interactive tests
bb22ddd
Aseem Rastogi
89mo ago
Top contributors
Builders behind this project.
nikswamy
5.3K commits
mtzguido
3.4K commits
aseemr
2K commits
catalin-hritcu
1.5K commits
msprotz
1.3K commits
tahina-pro
1K commits
s-zanella
438 commits
victor-dumitrescu
381 commits
