Typonomikon

wkolowski

Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.

book

View on GitHub Website

11 Stars

0 Forks

11 Watchers

Coq Language

Cost to Build

$15.46M

Market Value

$11.44M

How is this calculated?

Growth over time

6 data points · 2021-08-01 → 2023-03-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about Typonomikon

Question copied to clipboard

What is the wkolowski/Typonomikon GitHub project? Description: "Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.". Written in Coq. 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 Typonomikon

Clone via HTTPS

git clone https://github.com/wkolowski/Typonomikon.git

Clone via SSH

[email protected]:wkolowski/Typonomikon.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the Typonomikon issue tracker:

Open GitHub Issues

Similar to Typonomikon

You-Dont-Know-JS python-guide Functional-Light-JS adv-r AndroidNote android-dev-sources docker_practice thejsway wtfjs pure-bash-bible mit-deep-learning-book-pdf bash-handbook data-science-at-the-command-line r4ds The-complete-guide-to-modern-JavaScript netkiller.github.io Game-Programmer-Study-Notes the-way-to-go_ZH_CN os01 RE-for-beginners growth-ebook progit GoBooks go-internals blockchain_guide BookReader ethereumbook Awsome-Front-End-learning-resource TensorFlow-Book github