ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

124,713 results

Xena Project
10 minute Lean tutorial : proving logical propositions

I show how to prove a basic result in logic using the Lean prover, first in tactic mode and then in term mode. Try Lean online with ...

7:53
10 minute Lean tutorial : proving logical propositions

43,387 views

5 years ago

Federated Logic Conference FLoC 2018
Stephen H Muggleton: Inductive Logic Programming I

Lecture 17, Thursday 5 July 2018, part of the FoPSS Logic and Learning School at FLoC 2018 - see http://fopss18.mimuw.edu.pl/ ...

1:31:16
Stephen H Muggleton: Inductive Logic Programming I

7,479 views

7 years ago