We collect some HOL4 scripts and references for formalization of real analysis and probability theory.
kth-step/probability-jam
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
We collect some HOL4 scripts and references for formalization of real analysis and probability theory.