GitHub - olizardo/methods-and-stuff: Website containing code and some examples of formal methods for data analysis · GitHub

Name		Name	Last commit message	Last commit date
_freeze		_freeze
_site		_site
docs		docs
.gitignore		.gitignore
_quarto.yml		_quarto.yml
ca.qmd		ca.qmd
image.jpg		image.jpg
index.qmd		index.qmd
methods.bib		methods.bib
mono-types.png		mono-types.png
poly.qmd		poly.qmd
strong-poly.png		strong-poly.png
styles.css		styles.css
typical.png		typical.png
weak-poly.png		weak-poly.png

About

Website containing code and some examples of formal methods for data analysis

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages