pnp

ilyasergey

Lecture notes for a short course on proving/programming in Coq via SSReflect.

tutorial

View on GitHub Website

175 Stars

19 Forks

175 Watchers

Coq Language

bsd-2-clause License

100 SrcLog Score

Cost to Build

$674.6K

Market Value

$1.23M

How is this calculated?

Growth over time

9 data points · 2021-07-01 → 2026-04-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about pnp

Question copied to clipboard

What is the ilyasergey/pnp GitHub project? Description: "Lecture notes for a short course on proving/programming in Coq via SSReflect.". 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 pnp

Clone via HTTPS

git clone https://github.com/ilyasergey/pnp.git

Clone via SSH

[email protected]:ilyasergey/pnp.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the pnp issue tracker:

Open GitHub Issues

Similar to pnp

TensorFlow-Examples js-stack-from-scratch mostly-adequate-guide project-based-learning N-blog java8-tutorial the-way-to-go_ZH_CN IntelliJ-IDEA-Tutorial wifi-cracking 52-technologies-in-2016 stanford-tensorflow-tutorials show-me-the-code pytorch-tutorial digital_video_introduction learnapollo raspberry-pi-os tinyrenderer TensorFlow-Tutorials build-linux have-fun-with-machine-learning opensource.guide react-from-zero ffmpeg-libav-tutorial RxJava2-Android-Samples howtographql web-design-in-4-minutes node-in-debugging rust-learning catboost DeepLearningProject