Skip to content
This repository has been archived by the owner on Sep 10, 2024. It is now read-only.

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@Kha
Kha authored Mar 6, 2017
1 parent ce3c36e commit bd4655d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@

A tool for formally verifying Rust programs by transpiling them into definitions in the [Lean](http://leanprover.github.io/) theorem prover.

* **[Official reference and coverage](http://kha.github.io/electrolysis/)**
* [Presentation at Oregon Programming Languages Summer School](presentation/presentation.pdf)
* **Masters thesis: Simple Verification of Rust Programs via Functional Purification - [thesis](https://github.com/Kha/masters-thesis/raw/master/main.pdf)|[presentation](http://kha.github.io/electrolysis/presentation.pdf)**
* [Official reference and coverage](http://kha.github.io/electrolysis/)
* [Blog post: A Formal Verification of Rust's Binary Search Implementation](https://kha.github.io/2016/07/22/formally-verifying-rusts-binary-search.html)

## Installation
Expand Down

0 comments on commit bd4655d

Please sign in to comment.