coq_ide

Files for the CoqIDE software ( https://coq.inria.fr/ )

Name		Name	Last commit message	Last commit date
Latest commit History 551 Commits
001chapt		001chapt
007chapt		007chapt
008chapt		008chapt
concise		concise
convert		convert
cptd		cptd
cucumber		cucumber
foundations		foundations
logic		logic
primer		primer
stanford		stanford
symbolic		symbolic
README.md		README.md
back_huge.v		back_huge.v
back_large.v		back_large.v
back_small.v		back_small.v
declare01.v		declare01.v
declare02.v		declare02.v
forward_huge.v		forward_huge.v
forward_small.v		forward_small.v
my_first_proof.v		my_first_proof.v
penguin.in		penguin.in
sqrt.v		sqrt.v
tranform001.in		tranform001.in
tranform001.v		tranform001.v
tranform002.in		tranform002.in
tranform002.v		tranform002.v
tutorial01.v		tutorial01.v
tutorial02.v		tutorial02.v
tutorial03.v		tutorial03.v
tutorial04.v		tutorial04.v

Provide feedback