Pragma Inc.
Change the repository type filter
All
Repositories list
1 repository
- Open research on finite observer-consistency in physics: Lean-checked theorems and lemmas, reproducible simulations, explicit countermodels, and clearly tracked…
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.