Code

Add Formal Methods#3337

Code

Open

ElNiak wants to merge 3 commits intosindresorhus:mainsindresorhus/awesome:mainfrom ElNiak:mainElNiak/awesome:mainCopy head branch name to clipboard

+2-1

Commits

Commits on Aug 8, 2024

• Update readme.md

  ElNiak

  authored
  416e799

  Copy full SHA for 416e799

Commits on Jan 21, 2025

• Merge branch 'sindresorhus:main' into main

  ElNiak

  authored
  266ed7b

  Copy full SHA for 266ed7b

Commits on Jan 22, 2025

• Update readme.md

  ElNiak

  authored
  9a13904

  Copy full SHA for 9a13904