DrSchool تعلّم البرمجة بسرعة.

EN AR BN CS DE EL بحث

نستخدم الكوكيز لحفظ اللغة وتحسين التجربة. موافق المزيد

الدروس المراجع اللغات التمارين المسارات التجربة الأفضل تقدمي شهادة

Angular Bootstrap C سي بلس بلس سي شارب CSS Dart Git Go HTML جافا jQuery جافاسكربت Kotlin cats.abap cats.abc cats.actionscript cats.ada cats.algol cats.ampl cats.angelscript cats.apex cats.apl cats.applescript cats.arc cats.assembly cats.asymptote cats.autohotkey cats.autoit cats.awk cats.b cats.ballerina cats.bash cats.basic cats.batch-file cats.bazel cats.bcpl cats.befunge cats.bend cats.bicep cats.bison cats.bitbake cats.blitzbasic cats.boo cats.bourne-shell cats.bpf cats.bqn cats.brainfuck cats.c-shell cats.caddyfile cats.caml cats.capn-proto cats.carbon cats.ceylon cats.chapel cats.cil cats.cl cats.clarion cats.clean cats.clips cats.clojure cats.cmake cats.cobol cats.coffeescript cats.coldfusion cats.common-lisp cats.coq cats.crystal cats.csp cats.cuda cats.cypher cats.d cats.datalog cats.dcl cats.delphi cats.dhall cats.dtrace cats.e cats.ebnf cats.ecl cats.eiffel cats.ejs cats.elixir cats.elm cats.emacs-lisp cats.emberscript cats.erb cats.erlang cats.euphoria cats.f cats.factor cats.fantom cats.felix cats.fennel cats.fish-shell cats.flow cats.forth cats.fortran cats.frink cats.fsharp cats.g-code cats.gambas cats.gap cats.gdscript cats.genie cats.gherkin cats.gleam cats.glsl cats.gml cats.gnuplot cats.gosu cats.graphql cats.groovy cats.hack cats.harbour cats.haskell cats.haxe cats.hcl cats.hlsl cats.hy cats.icon cats.idris cats.inform cats.io cats.j cats.janet cats.javascript cats.jcl cats.jinja cats.jmespath cats.jq cats.jscript cats.jsonata cats.jsp cats.julia cats.k cats.karel cats.kconfig cats.ksql cats.labview-g cats.labview cats.lean cats.less cats.lex cats.lfe cats.lilypond cats.liquid cats.livecode cats.livescript cats.logo cats.lolcode cats.lua cats.m cats.m4 cats.make cats.mako cats.maple cats.matlab cats.max cats.mercury cats.meson cats.minizinc cats.modelica cats.modula-2 cats.modula-3 cats.monkey cats.moonscript cats.mql4 cats.mql5 cats.mumps cats.mustache cats.natural cats.neko cats.newtonscript cats.nim cats.nix cats.nu cats.nunjucks cats.oberon cats.objectivec cats.ocaml cats.openapi cats.opencl cats.openedge-abl cats.openscad cats.pascal cats.pddl cats.perl PHP cats.pike cats.pl-sql cats.plantuml cats.pony cats.postscript cats.powershell cats.processing cats.prolog cats.protocol-buffers cats.pug cats.purescript بايثون cats.q cats.qb64 cats.qbasic cats.qiskit cats.qml cats.qsharp cats.quakec R cats.racket cats.raku cats.razor cats.reasonml cats.red cats.rego cats.renpy cats.rexx cats.ring cats.rmarkdown cats.robot-framework cats.rpg cats.rpgle Ruby Rust cats.s cats.s-lang cats.s-plus cats.sas cats.sass cats.scala cats.scaladotjs cats.scheme cats.scons cats.scratch cats.sed cats.seed7 cats.self cats.shell cats.shen cats.simula cats.skill cats.smali cats.small-basic cats.smalltalk cats.solidity cats.sparql cats.spss SQL cats.sql-server-t-sql cats.squirrel cats.stan cats.standard-ml cats.starlark cats.stata cats.supercollider Swift cats.systemverilog cats.tcl cats.terraform cats.tex cats.thrift cats.toml cats.tsql cats.turing cats.typescript cats.unrealscript cats.v cats.vala cats.vba cats.vbscript cats.verilog cats.vhdl cats.vim-script cats.vim9script cats.visual-basic cats.vtl cats.vyper cats.webassembly cats.wolfram-language cats.x10 cats.xojo cats.xquery cats.xslt cats.xtend cats.yacc cats.yaml cats.yorick cats.yul cats.zeno cats.zig cats.zimbu cats.zonnon cats.zpl cats.zsh MongoDB MySQL Next.js نود جي اس React Svelte Tailwind CSS تايب سكربت Vue.js

COQ

2 items

Coq: مقدمة

ابدأ تعلم Coq مع نظرة عامة ومثال Hello World.

Coq: الصياغة

أساسيات الصياغة في Coq مع أنماط شائعة.

© 2026 DrSchool

الخصوصية الشروط من نحن اتصل بنا إخلاء مسؤولية