René's URL Explorer Experiment

Title: GitHub - hyperpolymath/proven: Code that cannot crash. Formally verified library for safe math, crypto, parsing, and validation. Call from Python, Rust, JavaScript, Go — any language.

Open Graph Title: GitHub - hyperpolymath/proven: Code that cannot crash. Formally verified library for safe math, crypto, parsing, and validation. Call from Python, Rust, JavaScript, Go — any language.

X Title: GitHub - hyperpolymath/proven: Code that cannot crash. Formally verified library for safe math, crypto, parsing, and validation. Call from Python, Rust, JavaScript, Go — any language.

Description: Code that cannot crash. Formally verified library for safe math, crypto, parsing, and validation. Call from Python, Rust, JavaScript, Go — any language. - hyperpolymath/proven

Open Graph Description: Code that cannot crash. Formally verified library for safe math, crypto, parsing, and validation. Call from Python, Rust, JavaScript, Go — any language. - hyperpolymath/proven

X Description: Code that cannot crash. Formally verified library for safe math, crypto, parsing, and validation. Call from Python, Rust, JavaScript, Go — any language. - hyperpolymath/proven

Opengraph URL: https://github.com/hyperpolymath/proven

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern	/:user_id/:repository
route-controller	files
route-action	disambiguate
fetch-nonce	v2:dbf1cee8-1dea-8257-584b-006875719350
current-catalog-service-hash	f3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-id	C814:3EFEAF:4FB8509:6C0A6B7:697357C5
html-safe-nonce	c1f7a8185f2da2ab341eaaaeffad0a9db8417fcc2a7b0cc36e55b44f8490651c
visitor-payload	eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJDODE0OjNFRkVBRjo0RkI4NTA5OjZDMEE2Qjc6Njk3MzU3QzUiLCJ2aXNpdG9yX2lkIjoiNDMzODg1MTg2NDg1MDQyMTcwMSIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac	70a4f7c08f882ee10fb2b112e00e2180080d4e0d65736e4a3cab92514e134ef7
hovercard-subject-tag	repository:1131670029
github-keyboard-shortcuts	repository,copilot
google-site-verification	Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-url	https://collector.github.com/github/collect
analytics-location	//
fb:app_id	1401488693436528
apple-itunes-app	app-id=1477376905, app-argument=https://github.com/hyperpolymath/proven
twitter:image	https://opengraph.githubassets.com/65631e3fb5c7662431205071a739405dfe097846092a21de0fda4d4de9a76f6b/hyperpolymath/proven
twitter:card	summary_large_image
og:image	https://opengraph.githubassets.com/65631e3fb5c7662431205071a739405dfe097846092a21de0fda4d4de9a76f6b/hyperpolymath/proven
og:image:alt	Code that cannot crash. Formally verified library for safe math, crypto, parsing, and validation. Call from Python, Rust, JavaScript, Go — any language. - hyperpolymath/proven
og:image:width	1200
og:image:height	600
og:site_name	GitHub
og:type	object
hostname	github.com
expected-hostname	github.com
None	4cf879a11b0a28a85543899a36aaee9ec9ca2fb7bedad86c0da5731193c95f01
turbo-cache-control	no-preview
go-import	github.com/hyperpolymath/proven git https://github.com/hyperpolymath/proven.git
octolytics-dimension-user_id	6759885
octolytics-dimension-user_login	hyperpolymath
octolytics-dimension-repository_id	1131670029
octolytics-dimension-repository_nwo	hyperpolymath/proven
octolytics-dimension-repository_public	true
octolytics-dimension-repository_is_fork	false
octolytics-dimension-repository_network_root_id	1131670029
octolytics-dimension-repository_network_root_nwo	hyperpolymath/proven
turbo-body-classes	logged-out env-production page-responsive
disable-turbo	false
browser-stats-url	https://api.github.com/_private/browser/stats
browser-errors-url	https://api.github.com/_private/browser/errors
release	63c75712c8aa15b01c097cbf3f10ca694d449599
ui-target	full
theme-color	#1e2327
color-scheme	light dark

Links:

Skip to content	https://patch-diff.githubusercontent.com/hyperpolymath/proven#start-of-content
	https://patch-diff.githubusercontent.com/
Sign in	https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fhyperpolymath%2Fproven
GitHub CopilotWrite better code with AI	https://github.com/features/copilot
GitHub SparkBuild and deploy intelligent apps	https://github.com/features/spark
GitHub ModelsManage and compare prompts	https://github.com/features/models
MCP RegistryNewIntegrate external tools	https://github.com/mcp
ActionsAutomate any workflow	https://github.com/features/actions
CodespacesInstant dev environments	https://github.com/features/codespaces
IssuesPlan and track work	https://github.com/features/issues
Code ReviewManage code changes	https://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilities	https://github.com/security/advanced-security
Code securitySecure your code as you build	https://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they start	https://github.com/security/advanced-security/secret-protection
Why GitHub	https://github.com/why-github
Documentation	https://docs.github.com
Blog	https://github.blog
Changelog	https://github.blog/changelog
Marketplace	https://github.com/marketplace
View all features	https://github.com/features
Enterprises	https://github.com/enterprise
Small and medium teams	https://github.com/team
Startups	https://github.com/enterprise/startups
Nonprofits	https://github.com/solutions/industry/nonprofits
App Modernization	https://github.com/solutions/use-case/app-modernization
DevSecOps	https://github.com/solutions/use-case/devsecops
DevOps	https://github.com/solutions/use-case/devops
CI/CD	https://github.com/solutions/use-case/ci-cd
View all use cases	https://github.com/solutions/use-case
Healthcare	https://github.com/solutions/industry/healthcare
Financial services	https://github.com/solutions/industry/financial-services
Manufacturing	https://github.com/solutions/industry/manufacturing
Government	https://github.com/solutions/industry/government
View all industries	https://github.com/solutions/industry
View all solutions	https://github.com/solutions
AI	https://github.com/resources/articles?topic=ai
Software Development	https://github.com/resources/articles?topic=software-development
DevOps	https://github.com/resources/articles?topic=devops
Security	https://github.com/resources/articles?topic=security
View all topics	https://github.com/resources/articles
Customer stories	https://github.com/customer-stories
Events & webinars	https://github.com/resources/events
Ebooks & reports	https://github.com/resources/whitepapers
Business insights	https://github.com/solutions/executive-insights
GitHub Skills	https://skills.github.com
Documentation	https://docs.github.com
Customer support	https://support.github.com
Community forum	https://github.com/orgs/community/discussions
Trust center	https://github.com/trust-center
Partners	https://github.com/partners
GitHub SponsorsFund open source developers	https://github.com/sponsors
Security Lab	https://securitylab.github.com
Maintainer Community	https://maintainers.github.com
Accelerator	https://github.com/accelerator
Archive Program	https://archiveprogram.github.com
Topics	https://github.com/topics
Trending	https://github.com/trending
Collections	https://github.com/collections
Enterprise platformAI-powered developer platform	https://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security features	https://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI features	https://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 support	https://github.com/premium-support
Pricing	https://github.com/pricing
Search syntax tips	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentation	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in	https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fhyperpolymath%2Fproven
Sign up	https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=hyperpolymath%2Fproven
Reload	https://patch-diff.githubusercontent.com/hyperpolymath/proven
Reload	https://patch-diff.githubusercontent.com/hyperpolymath/proven
Reload	https://patch-diff.githubusercontent.com/hyperpolymath/proven
hyperpolymath	https://patch-diff.githubusercontent.com/hyperpolymath
proven	https://patch-diff.githubusercontent.com/hyperpolymath/proven
Notifications	https://patch-diff.githubusercontent.com/login?return_to=%2Fhyperpolymath%2Fproven
Fork 0	https://patch-diff.githubusercontent.com/login?return_to=%2Fhyperpolymath%2Fproven
Star 1	https://patch-diff.githubusercontent.com/login?return_to=%2Fhyperpolymath%2Fproven
View license	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/LICENSE
1 star	https://patch-diff.githubusercontent.com/hyperpolymath/proven/stargazers
0 forks	https://patch-diff.githubusercontent.com/hyperpolymath/proven/forks
Branches	https://patch-diff.githubusercontent.com/hyperpolymath/proven/branches
Tags	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tags
Activity	https://patch-diff.githubusercontent.com/hyperpolymath/proven/activity
Star	https://patch-diff.githubusercontent.com/login?return_to=%2Fhyperpolymath%2Fproven
Notifications	https://patch-diff.githubusercontent.com/login?return_to=%2Fhyperpolymath%2Fproven
Code	https://patch-diff.githubusercontent.com/hyperpolymath/proven
Issues 0	https://patch-diff.githubusercontent.com/hyperpolymath/proven/issues
Pull requests 0	https://patch-diff.githubusercontent.com/hyperpolymath/proven/pulls
Discussions	https://patch-diff.githubusercontent.com/hyperpolymath/proven/discussions
Actions	https://patch-diff.githubusercontent.com/hyperpolymath/proven/actions
Projects 0	https://patch-diff.githubusercontent.com/hyperpolymath/proven/projects
Models	https://patch-diff.githubusercontent.com/hyperpolymath/proven/models
Security 0	https://patch-diff.githubusercontent.com/hyperpolymath/proven/security
Insights	https://patch-diff.githubusercontent.com/hyperpolymath/proven/pulse
Code	https://patch-diff.githubusercontent.com/hyperpolymath/proven
Issues	https://patch-diff.githubusercontent.com/hyperpolymath/proven/issues
Pull requests	https://patch-diff.githubusercontent.com/hyperpolymath/proven/pulls
Discussions	https://patch-diff.githubusercontent.com/hyperpolymath/proven/discussions
Actions	https://patch-diff.githubusercontent.com/hyperpolymath/proven/actions
Projects	https://patch-diff.githubusercontent.com/hyperpolymath/proven/projects
Models	https://patch-diff.githubusercontent.com/hyperpolymath/proven/models
Security	https://patch-diff.githubusercontent.com/hyperpolymath/proven/security
Insights	https://patch-diff.githubusercontent.com/hyperpolymath/proven/pulse
Branches	https://patch-diff.githubusercontent.com/hyperpolymath/proven/branches
Tags	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tags
	https://patch-diff.githubusercontent.com/hyperpolymath/proven/branches
	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tags
118 Commits	https://patch-diff.githubusercontent.com/hyperpolymath/proven/commits/main/
	https://patch-diff.githubusercontent.com/hyperpolymath/proven/commits/main/
.clusterfuzzlite	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/.clusterfuzzlite
.clusterfuzzlite	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/.clusterfuzzlite
.devcontainer	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/.devcontainer
.devcontainer	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/.devcontainer
.github	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/.github
.github	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/.github
.vscode	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/.vscode
.vscode	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/.vscode
LICENSES	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/LICENSES
LICENSES	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/LICENSES
benchmarks	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/benchmarks
benchmarks	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/benchmarks
bindings	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/bindings
bindings	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/bindings
docs	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/docs
docs	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/docs
ffi/zig	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/ffi/zig
ffi/zig	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/ffi/zig
fuzz/zig	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/fuzz/zig
fuzz/zig	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/fuzz/zig
guix	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/guix
guix	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/guix
nix	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/nix
nix	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/nix
scripts	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/scripts
scripts	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/scripts
src	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/src
src	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/src
tests	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/tests
tests	https://patch-diff.githubusercontent.com/hyperpolymath/proven/tree/main/tests
.echidnabot.toml	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/.echidnabot.toml
.echidnabot.toml	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/.echidnabot.toml
.editorconfig	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/.editorconfig
.editorconfig	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/.editorconfig
.gitignore	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/.gitignore
.gitignore	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/.gitignore
CONTRIBUTING.adoc	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/CONTRIBUTING.adoc
CONTRIBUTING.adoc	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/CONTRIBUTING.adoc
Dockerfile	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/Dockerfile
Dockerfile	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/Dockerfile
ECOSYSTEM.scm	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/ECOSYSTEM.scm
ECOSYSTEM.scm	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/ECOSYSTEM.scm
LICENSE	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/LICENSE
LICENSE	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/LICENSE
META.scm	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/META.scm
META.scm	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/META.scm
README.adoc	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/README.adoc
README.adoc	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/README.adoc
SECURITY.md	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/SECURITY.md
SECURITY.md	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/SECURITY.md
STATE.scm	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/STATE.scm
STATE.scm	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/STATE.scm
TODO.md	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/TODO.md
TODO.md	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/TODO.md
pack.toml	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/pack.toml
pack.toml	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/pack.toml
proven.ipkg	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/proven.ipkg
proven.ipkg	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/proven.ipkg
README	https://patch-diff.githubusercontent.com/hyperpolymath/proven
Contributing	https://patch-diff.githubusercontent.com/hyperpolymath/proven
License	https://patch-diff.githubusercontent.com/hyperpolymath/proven
Security	https://patch-diff.githubusercontent.com/hyperpolymath/proven
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#proven
	https://camo.githubusercontent.com/4f7e0d0b2eb3de8c977c19f21c7250bee9dcbaef07d742736035565ed3a1f2e6/68747470733a2f2f696d672e736869656c64732e696f2f62616467652f76657273696f6e2d312e302e302d626c7565
	https://camo.githubusercontent.com/3955a6b9f750648173212360d41d60d58f5f8545612cfb796bc46bc6738c6186/68747470733a2f2f696d672e736869656c64732e696f2f62616467652f6c6963656e73652d504d504ce28094e2808b312e302d677265656e
	https://camo.githubusercontent.com/6143bf0fd64a0f2bfae8386514867dfbd0c4da0be0b765cf19fecc5ca4556f1f/68747470733a2f2f696d672e736869656c64732e696f2f62616467652f6d6f64756c65732d38372d626c7565
	https://camo.githubusercontent.com/3ac5ee2ab44e652062fc5592c9d327d2c2f519268b5b0bd801718ff62efbf230/68747470733a2f2f696d672e736869656c64732e696f2f62616467652f62696e64696e67732d38395f746172676574732d6f72616e6765
	https://camo.githubusercontent.com/c91d8e4e3daf3bffbe09a4de5b26b8074623d5d7a5073287bbf717ff63c76b33/68747470733a2f2f696d672e736869656c64732e696f2f62616467652f76657269666965642d49647269735f322d707572706c65
	https://camo.githubusercontent.com/99c374232a47950f816d516e2f25c2637739927aa0b47c6855c190b01dbf4ef9/68747470733a2f2f696d672e736869656c64732e696f2f62616467652f49647269732d496e736964652d626c756576696f6c65743f7374796c653d666c6174266c6f676f3d646174613a696d6167652f7376672b786d6c3b6261736536342c50484e325a79423462577875637a30696148523063446f764c336433647935334d793576636d63764d6a41774d43397a646d636949485a705a58644362336739496a41674d4341794e4341794e43492b50484268644767675a6d6c736244306949325a6d5a6949675a4430695454457949444a4d4d794133646a457762446b674e5341354c5456574e3277744f533031656d307749444a734e794130646a68734c5463674e4330334c5452574f4777334c5452364969382b5043397a646d632b
	https://camo.githubusercontent.com/b0c6c6845a74cb65a7f0a32bdcfd8fbf80eeb40026c4029af424ab371c94b8bd/68747470733a2f2f696d672e736869656c64732e696f2f62616467652f6275696c642d70617373696e672d627269676874677265656e
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#module-index
[SafeMath]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeMath
[SafeString]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeString
[SafeFloat]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeFloat
[SafeBuffer]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeBuffer
[SafeArgs]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeArgs
[SafeJson]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeJson
[SafeXML]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeXML
[SafeYAML]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeYAML
[SafeTOML]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeTOML
[SafeHtml]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeHtml
[SafeBase64]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeBase64
[SafeHex]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeHex
[SafeMarkdown]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeMarkdown
[SafeBibTeX]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeBibTeX
[SafeArchive]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeArchive
[SafeTemplate]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeTemplate
[SafeUrl]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeUrl
[SafeEmail]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeEmail
[SafeNetwork]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeNetwork
[SafeHeader]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeHeader
[SafeCookie]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeCookie
[SafeContentType]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeContentType
[SafePhone]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafePhone
[SafeDNS]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeDNS
[SafeWebhook]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeWebhook
[SafeCrypto]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeCrypto
[SafePassword]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafePassword
[SafeJWT]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeJWT
[SafeCapability]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeCapability
[SafePolicy]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafePolicy
[SafeCert]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeCert
[SafeOAuth]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeOAuth
[SafeSSH]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeSSH
[SafeRegex]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeRegex
[SafeSQL]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeSQL
[SafeCommand]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeCommand
[SafePath]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafePath
[SafeSchema]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeSchema
[SafeFile]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeFile
[SafeEnv]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeEnv
[SafeDateTime]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeDateTime
[SafeCurrency]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeCurrency
[SafeUUID]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeUUID
[SafeLog]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeLog
[SafeCron]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeCron
[SafeStateMachine]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeStateMachine
[SafeGraph]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeGraph
[SafeTree]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeTree
[SafeTransaction]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeTransaction
[SafeConsensus]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeConsensus
[SafeOrdering]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeOrdering
[SafeResource]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeResource
[SafeProvenance]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeProvenance
[SafeTensor]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeTensor
[SafeML]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeML
[SafeAngle]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeAngle
[SafeProbability]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeProbability
[SafeUnit]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeUnit
[SafeFiniteField]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeFiniteField
[SafeMonotonic]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeMonotonic
[SafeRateLimiter]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeRateLimiter
[SafeCircuitBreaker]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeCircuitBreaker
[SafeRetry]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeRetry
[SafeQueue]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeQueue
[SafeBloom]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeBloom
[SafeLRU]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeLRU
[SafeColor]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeColor
[SafeGeo]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeGeo
[SafeVersion]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeVersion
[SafeChecksum]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeChecksum
[SafeDocker]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeDocker
[SafeGit]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeGit
[SafeMCP]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeMCP
[SafeI18n]	https://patch-diff.githubusercontent.com/hyperpolymath/proven#SafeI18n
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#binding-statistics
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#binding-categories
Module Index	https://patch-diff.githubusercontent.com/hyperpolymath/proven#module-index
Binding Statistics	https://patch-diff.githubusercontent.com/hyperpolymath/proven#binding-statistics
Binding Categories	https://patch-diff.githubusercontent.com/hyperpolymath/proven#binding-categories
The Problem	https://patch-diff.githubusercontent.com/hyperpolymath/proven#the-problem
The Solution	https://patch-diff.githubusercontent.com/hyperpolymath/proven#the-solution
What "Mathematically Proven" Means	https://patch-diff.githubusercontent.com/hyperpolymath/proven#what-mathematically-proven-means
Understanding Dependent Types (In 2 Minutes)	https://patch-diff.githubusercontent.com/hyperpolymath/proven#understanding-dependent-types-in-2-minutes
How This Translates to Your Code	https://patch-diff.githubusercontent.com/hyperpolymath/proven#how-this-translates-to-your-code
Want to Learn More?	https://patch-diff.githubusercontent.com/hyperpolymath/proven#want-to-learn-more
Modules	https://patch-diff.githubusercontent.com/hyperpolymath/proven#modules
SafeMath — Arithmetic That Can’t Overflow	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safemath-arithmetic-that-cant-overflow
SafeString — Text That Can’t Corrupt	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safestring-text-that-cant-corrupt
SafeHex — Hexadecimal That Can’t Corrupt	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safehex-hexadecimal-that-cant-corrupt
SafeJson — Parsing That Can’t Fail Unexpectedly	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safejson-parsing-that-cant-fail-unexpectedly
SafeUrl — URLs That Can’t Be Exploited	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeurl-urls-that-cant-be-exploited
SafeEmail — Validation That Actually Works	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeemail-validation-that-actually-works
SafePath — Filesystem Access That Can’t Escape	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safepath-filesystem-access-that-cant-escape
SafeCrypto — Cryptography You Can’t Mess Up	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safecrypto-cryptography-you-cant-mess-up
SafePassword — Authentication Done Right	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safepassword-authentication-done-right
SafeRegex — Regex That Can’t ReDoS	https://patch-diff.githubusercontent.com/hyperpolymath/proven#saferegex-regex-that-cant-redos
SafeHTML — HTML That Can’t XSS	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safehtml-html-that-cant-xss
SafeCommand — Shell Commands That Can’t Inject	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safecommand-shell-commands-that-cant-inject
SafeSQL — SQL That Can’t Inject	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safesql-sql-that-cant-inject
SafeJWT — Tokens That Can’t Be Faked	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safejwt-tokens-that-cant-be-faked
SafeNetwork — Network Primitives That Can’t Be Abused	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safenetwork-network-primitives-that-cant-be-abused
Advanced Modules	https://patch-diff.githubusercontent.com/hyperpolymath/proven#advanced-modules
SafeStateMachine — State Machines with Invertibility Proofs	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safestatemachine-state-machines-with-invertibility-proofs
SafeGraph — Directed Graphs with Cycle Detection Proofs	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safegraph-directed-graphs-with-cycle-detection-proofs
SafeTransaction — ACID Transactions with Isolation Proofs	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safetransaction-acid-transactions-with-isolation-proofs
SafeConsensus — Distributed Consensus with Quorum Proofs	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeconsensus-distributed-consensus-with-quorum-proofs
SafeCapability — Capability-Based Security with Delegation Proofs	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safecapability-capability-based-security-with-delegation-proofs
SafeOrdering — Temporal Ordering with Causality Proofs	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeordering-temporal-ordering-with-causality-proofs
SafeResource — Resource Lifecycle with Leak Prevention	https://patch-diff.githubusercontent.com/hyperpolymath/proven#saferesource-resource-lifecycle-with-leak-prevention
SafeSchema — Schema Migration with Compatibility Proofs	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeschema-schema-migration-with-compatibility-proofs
SafeFloat — IEEE 754 Floating Point Safety	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safefloat-ieee-754-floating-point-safety
SafeTensor — Dimension-Safe Tensor Operations	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safetensor-dimension-safe-tensor-operations
SafeML — Machine Learning Safety	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeml-machine-learning-safety
SafePolicy — AST-Level Policy Enforcement	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safepolicy-ast-level-policy-enforcement
SafeBuffer — Bounded Buffer Management	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safebuffer-bounded-buffer-management
SafeProvenance — Change Tracking with Audit Proofs	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeprovenance-change-tracking-with-audit-proofs
SafeTree — Tree Traversal with Coverage Proofs	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safetree-tree-traversal-with-coverage-proofs
Mathematics & Physics Modules	https://patch-diff.githubusercontent.com/hyperpolymath/proven#mathematics-physics-modules
SafeAngle — Angle Handling with Wrap-Around Safety	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeangle-angle-handling-with-wrap-around-safety
SafeProbability — Probability Values with Distribution Operations	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeprobability-probability-values-with-distribution-operations
SafeUnit — Physical Units with Dimensional Analysis	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeunit-physical-units-with-dimensional-analysis
SafeFiniteField — Finite Field Arithmetic	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safefinitefield-finite-field-arithmetic
Distributed Systems Modules	https://patch-diff.githubusercontent.com/hyperpolymath/proven#distributed-systems-modules
SafeMonotonic — Monotonic Counters and Logical Clocks	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safemonotonic-monotonic-counters-and-logical-clocks
SafeRateLimiter — Rate Limiting with Token Bucket and Sliding Window	https://patch-diff.githubusercontent.com/hyperpolymath/proven#saferatelimiter-rate-limiting-with-token-bucket-and-sliding-window
SafeCircuitBreaker — Circuit Breaker Pattern for Fault Tolerance	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safecircuitbreaker-circuit-breaker-pattern-for-fault-tolerance
SafeRetry — Retry Policies with Exponential Backoff	https://patch-diff.githubusercontent.com/hyperpolymath/proven#saferetry-retry-policies-with-exponential-backoff
Data Structure Modules	https://patch-diff.githubusercontent.com/hyperpolymath/proven#data-structure-modules
SafeQueue — Bounded Queues and Priority Queues	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safequeue-bounded-queues-and-priority-queues
SafeBloom — Bloom Filters with False Positive Rate Bounds	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safebloom-bloom-filters-with-false-positive-rate-bounds
SafeLRU — LRU Caches with TTL Support	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safelru-lru-caches-with-ttl-support
Domain Value Modules	https://patch-diff.githubusercontent.com/hyperpolymath/proven#domain-value-modules
SafeColor — Color Handling with Gamut Clamping	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safecolor-color-handling-with-gamut-clamping
SafeGeo — Geographic Coordinates with Distance Calculations	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safegeo-geographic-coordinates-with-distance-calculations
SafeVersion — Semantic Versioning Parsing and Comparison	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeversion-semantic-versioning-parsing-and-comparison
SafeChecksum — CRC and Hash Functions	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safechecksum-crc-and-hash-functions
Installation	https://patch-diff.githubusercontent.com/hyperpolymath/proven#installation
Rust	https://patch-diff.githubusercontent.com/hyperpolymath/proven#rust
Deno / JavaScript	https://patch-diff.githubusercontent.com/hyperpolymath/proven#deno-javascript
Python	https://patch-diff.githubusercontent.com/hyperpolymath/proven#python
Go	https://patch-diff.githubusercontent.com/hyperpolymath/proven#go
Zig	https://patch-diff.githubusercontent.com/hyperpolymath/proven#zig
Guile Scheme	https://patch-diff.githubusercontent.com/hyperpolymath/proven#guile-scheme
Nickel	https://patch-diff.githubusercontent.com/hyperpolymath/proven#nickel
Development Environment (Idris 2 core)	https://patch-diff.githubusercontent.com/hyperpolymath/proven#development-environment-idris-2-core
89 Binding Targets	https://patch-diff.githubusercontent.com/hyperpolymath/proven#89-binding-targets
How It Works (For the Curious)	https://patch-diff.githubusercontent.com/hyperpolymath/proven#how-it-works-for-the-curious
FAQ	https://patch-diff.githubusercontent.com/hyperpolymath/proven#faq
Roadmap	https://patch-diff.githubusercontent.com/hyperpolymath/proven#roadmap
v1.0.0 (Current Release)	https://patch-diff.githubusercontent.com/hyperpolymath/proven#v1-0-0-current-release
Next (Q2 2026)	https://patch-diff.githubusercontent.com/hyperpolymath/proven#next-q2-2026
Future	https://patch-diff.githubusercontent.com/hyperpolymath/proven#future
Contributing	https://patch-diff.githubusercontent.com/hyperpolymath/proven#contributing
Related Projects	https://patch-diff.githubusercontent.com/hyperpolymath/proven#related-projects
License	https://patch-diff.githubusercontent.com/hyperpolymath/proven#license
Security	https://patch-diff.githubusercontent.com/hyperpolymath/proven#security
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#the-problem
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#the-solution
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#what-mathematically-proven-means
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#understanding-dependent-types-in-2-minutes
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#how-this-translates-to-your-code
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#want-to-learn-more
Idris 2 Tutorial	https://idris2.readthedocs.io/en/latest/
Type-Driven Development with Idris	https://www.youtube.com/watch?v=__gXFtYmDnQ
Our proof documentation	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/docs/PROOFS.md
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#modules
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safemath--arithmetic-that-cant-overflow
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safestring--text-that-cant-corrupt
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safehex--hexadecimal-that-cant-corrupt
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safejson--parsing-that-cant-fail-unexpectedly
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeurl--urls-that-cant-be-exploited
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeemail--validation-that-actually-works
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safepath--filesystem-access-that-cant-escape
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safecrypto--cryptography-you-cant-mess-up
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safepassword--authentication-done-right
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#saferegex--regex-that-cant-redos
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safehtml--html-that-cant-xss
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safecommand--shell-commands-that-cant-inject
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safesql--sql-that-cant-inject
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safejwt--tokens-that-cant-be-faked
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safenetwork--network-primitives-that-cant-be-abused
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#advanced-modules
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safestatemachine--state-machines-with-invertibility-proofs
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safegraph--directed-graphs-with-cycle-detection-proofs
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safetransaction--acid-transactions-with-isolation-proofs
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeconsensus--distributed-consensus-with-quorum-proofs
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safecapability--capability-based-security-with-delegation-proofs
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeordering--temporal-ordering-with-causality-proofs
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#saferesource--resource-lifecycle-with-leak-prevention
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeschema--schema-migration-with-compatibility-proofs
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safefloat--ieee-754-floating-point-safety
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safetensor--dimension-safe-tensor-operations
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeml--machine-learning-safety
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safepolicy--ast-level-policy-enforcement
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safebuffer--bounded-buffer-management
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeprovenance--change-tracking-with-audit-proofs
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safetree--tree-traversal-with-coverage-proofs
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#mathematics--physics-modules
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeangle--angle-handling-with-wrap-around-safety
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeprobability--probability-values-with-distribution-operations
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeunit--physical-units-with-dimensional-analysis
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safefinitefield--finite-field-arithmetic
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#distributed-systems-modules
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safemonotonic--monotonic-counters-and-logical-clocks
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#saferatelimiter--rate-limiting-with-token-bucket-and-sliding-window
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safecircuitbreaker--circuit-breaker-pattern-for-fault-tolerance
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#saferetry--retry-policies-with-exponential-backoff
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#data-structure-modules
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safequeue--bounded-queues-and-priority-queues
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safebloom--bloom-filters-with-false-positive-rate-bounds
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safelru--lru-caches-with-ttl-support
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#domain-value-modules
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safecolor--color-handling-with-gamut-clamping
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safegeo--geographic-coordinates-with-distance-calculations
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safeversion--semantic-versioning-parsing-and-comparison
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#safechecksum--crc-and-hash-functions
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#installation
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#rust
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#deno--javascript
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#python
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#go
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#zig
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#guile-scheme
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#nickel
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#development-environment-idris-2-core
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#89-binding-targets
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#how-it-works-for-the-curious
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#faq
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#roadmap
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#v100-current-release
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#next-q2-2026
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#future
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#contributing
CONTRIBUTING.adoc	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/CONTRIBUTING.adoc
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#related-projects
echidna	https://github.com/hyperpolymath/echidna
echidnabot	https://github.com/hyperpolymath/echidnabot
aggregate-library	https://github.com/hyperpolymath/aggregate-library
idris2-zig-ffi	https://github.com/hyperpolymath/idris2-zig-ffi
januskey	https://github.com/hyperpolymath/januskey
gitvisor	https://github.com/hyperpolymath/gitvisor
ubicity	https://github.com/hyperpolymath/ubicity
idris2-pack	https://github.com/stefan-hoeck/idris2-pack
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#license
Palimpsest-MPL-1.0	https://github.com/hyperpolymath/palimpsest-license
LICENSE	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/LICENSE
	https://patch-diff.githubusercontent.com/hyperpolymath/proven#security
SECURITY.md	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/SECURITY.md
arXiv paper	https://patch-diff.githubusercontent.com/hyperpolymath/proven/blob/main/docs/PAPER.tex
dependent-types	https://patch-diff.githubusercontent.com/topics/dependent-types
zig	https://patch-diff.githubusercontent.com/topics/zig
ffi	https://patch-diff.githubusercontent.com/topics/ffi
call	https://patch-diff.githubusercontent.com/topics/call
abi	https://patch-diff.githubusercontent.com/topics/abi
type-safety	https://patch-diff.githubusercontent.com/topics/type-safety
verified-programming	https://patch-diff.githubusercontent.com/topics/verified-programming
palimpsest	https://patch-diff.githubusercontent.com/topics/palimpsest
idris2	https://patch-diff.githubusercontent.com/topics/idris2
hyperpolymath	https://patch-diff.githubusercontent.com/topics/hyperpolymath
Readme	https://patch-diff.githubusercontent.com/hyperpolymath/proven#readme-ov-file
View license	https://patch-diff.githubusercontent.com/hyperpolymath/proven#License-1-ov-file
Contributing	https://patch-diff.githubusercontent.com/hyperpolymath/proven#contributing-ov-file
Security policy	https://patch-diff.githubusercontent.com/hyperpolymath/proven#security-ov-file
Please reload this page	https://patch-diff.githubusercontent.com/hyperpolymath/proven
Activity	https://patch-diff.githubusercontent.com/hyperpolymath/proven/activity
1 star	https://patch-diff.githubusercontent.com/hyperpolymath/proven/stargazers
0 watching	https://patch-diff.githubusercontent.com/hyperpolymath/proven/watchers
0 forks	https://patch-diff.githubusercontent.com/hyperpolymath/proven/forks
Report repository	https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Fhyperpolymath%2Fproven&report=hyperpolymath+%28user%29
Releases 1	https://patch-diff.githubusercontent.com/hyperpolymath/proven/releases
Proven v1.0.0 Latest Jan 12, 2026	https://patch-diff.githubusercontent.com/hyperpolymath/proven/releases/tag/v1.0.0
Packages 0	https://patch-diff.githubusercontent.com/users/hyperpolymath/packages?repo_name=proven
Please reload this page	https://patch-diff.githubusercontent.com/hyperpolymath/proven
Please reload this page	https://patch-diff.githubusercontent.com/hyperpolymath/proven
Contributors 2	https://patch-diff.githubusercontent.com/hyperpolymath/proven/graphs/contributors
Please reload this page	https://patch-diff.githubusercontent.com/hyperpolymath/proven
Idris 17.1%	https://patch-diff.githubusercontent.com/hyperpolymath/proven/search?l=idris
Zig 8.9%	https://patch-diff.githubusercontent.com/hyperpolymath/proven/search?l=zig
ReScript 7.4%	https://patch-diff.githubusercontent.com/hyperpolymath/proven/search?l=rescript
TypeScript 4.8%	https://patch-diff.githubusercontent.com/hyperpolymath/proven/search?l=typescript
Python 3.0%	https://patch-diff.githubusercontent.com/hyperpolymath/proven/search?l=python
Shell 2.6%	https://patch-diff.githubusercontent.com/hyperpolymath/proven/search?l=shell
	https://github.com
Terms	https://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacy	https://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Security	https://github.com/security
Status	https://www.githubstatus.com/
Community	https://github.community/
Docs	https://docs.github.com/
Contact	https://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.