Etat De L'Art

Olivier ROLAND20th July 2024 at 1:09pm

Welcome to EDLA This site focus essentially on automated theorem proving (ATP) or automated deduction which is a subfield of automated reasoning.

Source code is available on GitHub

If you wan't an overview of what is available on this site you can use Tags as a sitemap.

If you came thru google search due to the uniqueness of TiddlyWiki the web result you saw on google may not appear on this website. To find it just remember the query items and put on the search line to the upper right of this page. You should be able to find the item you were looking for.

The Future of Mathematics ?

4th March 2021 at 10:35pm

Introduction Video

4th March 2021 at 10:35pm

This brief presentation explains the basic principles of Type Theory and Homotopy Type Theory

Advances in Deep Learning for Mathematical Theorem Proving

4th March 2021 at 10:35pm

Francois Chollet explore how Deep Learning can be used for proving mathematical theorems, and its wide-reaching implications.

Type Theory for the Working Rustacean

28th February 2022 at 6:05pm

This talk will explore using (and abusing) Rust’s type system to mimic the proofs one writes about their Rust programs while also enumerating how this mimicry is derived from common ground in the worlds of types or categories.
https://dpitt.me/talks/2019-10-19-tt-for-rust