BibSonomy

The blue social bookmark and publication sharing system.

( en | de | ru )

tag
user
group
author
concept
BibTeX key
search

sign in
register

groups
genealogy
popular

sign in
register

Login

Log in with your username.

@

I've lost my password.

Log in with your OpenID-Provider.

Other OpenID-Provider

bookmark

Archive of Formal Proofs

http://afp.sourceforge.net/

Preview

Tags

atp
automated
automated_theorem_proving
isabelle
lib
library
logic
math
proof
prooflib
proofs
repo
repository
sourceforge
theorem
theory

Users

Comments and Reviewsshow / hide

Please log in to take part in the discussion (add own reviews or comments).

What is BibSonomy?: Getting Started; Browser Buttons; Help
Developer: Overview; API Documentation

Contact & Privacy: Contact; Privacy & Terms of Use; Cookies; Report Issues; BibSonomy Wiki

Integration: PUMA; TYPO3 Extension; WordPress Plugin; Java REST Client; Supported Sites; more

About BibSonomy: Team; Blog; Mailing List
Social Media: Follow us on Twitter

BibSonomy is offered by the Data Science Chair of the University of Würzburg, the Information Processing and Analytics Group of the Humboldt-Unversität zu Berlin, the KDE Group of the University of Kassel, and the L3S Research Center.