certainty-by-construction

isovector

Source material for Certainty by Construction

math book

View on GitHub Website

43 Stars

12 Forks

43 Watchers

TeX Language

Cost to Build

$201.4K

Market Value

$421.7K

How is this calculated?

Growth over time

2 data points · 2025-03-17 → 2025-07-25

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about certainty-by-construction

Question copied to clipboard

What is the isovector/certainty-by-construction GitHub project? Description: "Source material for Certainty by Construction". Written in TeX. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone certainty-by-construction

Clone via HTTPS

git clone https://github.com/isovector/certainty-by-construction.git

Clone via SSH

[email protected]:isovector/certainty-by-construction.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the certainty-by-construction issue tracker:

Open GitHub Issues

Similar to certainty-by-construction

freeCodeCamp You-Dont-Know-JS freecodecamp.cn python-guide Functional-Light-JS adv-r AndroidNote android-dev-sources mathjs gpu.js sympy Surge simple-statistics mlcourse.ai libchaos cute_headers mathnet-numerics stdlib RandomKit mathquill osmnx math-php Euler stats phobos sage-archive-2023-02-01 Project-Euler-solutions swix pragmatapro expr-eval