കോക് 8.12

കോക്ക് (കോക്കറൽ) എന്ന സംവേദനാത്മക സിദ്ധാന്തം തെളിയിക്കുന്ന ഉപകരണത്തിൻ്റെ പതിപ്പ് 8.12 പുറത്തിറക്കി (വാർത്ത എഴുതുന്ന സമയത്ത് ലഭ്യമായ ഏറ്റവും പുതിയ മൈനർ പതിപ്പ് 8.12.1 ആണ്).

കോക്കിൽ ഗലീന (ചിക്കൻ) ആശ്രിത തരം പ്രോഗ്രാമിംഗ് ഭാഷ ഉൾപ്പെടുന്നു, ഇത് കൺസ്ട്രക്റ്റ് കാൽക്കുലസിൻ്റെ സിദ്ധാന്തത്തെ അടിസ്ഥാനമാക്കിയുള്ളതാണ്.

സ്പെസിഫിക്കേഷനുമായി പൊരുത്തപ്പെടുന്നതിൻ്റെ തെളിവിനൊപ്പം കമ്പ്യൂട്ടർ പരിശോധിക്കാവുന്ന സിദ്ധാന്ത തെളിവുകളും പ്രോഗ്രാമുകളും വികസിപ്പിക്കാൻ Coq സിസ്റ്റം നിങ്ങളെ അനുവദിക്കുന്നു.

പുതിയ പതിപ്പ് സ്റ്റാൻഡേർഡ് ലൈബ്രറിയും ഡോക്യുമെൻ്റേഷനും ഗണ്യമായി മെച്ചപ്പെടുത്തി, കൂടാതെ നിരവധി പിശകുകൾ പരിഹരിച്ചു.

അവലംബം: linux.org.ru