idr-logical-foundations

fabianhjr

Logical Foundations in Idris

book

View on GitHub

6 Stars

0 Forks

6 Watchers

Idris Language

other License

Cost to Build

$8.6K

Market Value

$5.1K

How is this calculated?

Growth over time

4 data points · 2021-08-07 → 2022-07-26

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about idr-logical-foundations

Question copied to clipboard

What is the fabianhjr/idr-logical-foundations GitHub project? Description: "Logical Foundations in Idris". Written in Idris. 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 idr-logical-foundations

Clone via HTTPS

git clone https://github.com/fabianhjr/idr-logical-foundations.git

Clone via SSH

[email protected]:fabianhjr/idr-logical-foundations.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the idr-logical-foundations issue tracker:

Open GitHub Issues

Similar to idr-logical-foundations

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