Search Results - RepositoryStats

8

75

gpl-3.0

12

Readings on computational logic, interactive theorem proving and functional programming.

coq itp logic prolog haskell leanprover isabelle-hol logic-programming functional-programming

Created 2016-12-31

1,682 commits to master branch, last one 18 hours ago

9

66

other

8

This repository has no description...

hol itp psl proof isabelle induction conjecture proof-search formal-proofs formal-methods proof-assistant machine-learning proof-strategies formal-verification artificial-intelligence domain-specific-language interactive-theorem-proving

Created 2016-08-10

1,559 commits to master branch, last one 4 months ago

14

28

mit

1

ITP project using MERN stack (Travely - Travel and tourism web app) for SLIIT 2nd year 2nd semester project

itp jwt crud react sliit search tailwind mern-stack tailwindcss simple-admin-panel travel-and-tourism

Created 2023-05-18

11 commits to main branch, last one about a year ago