rohitdureja/isabelle-practice rohitdureja/isabelle-practice

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language Isabelle
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rohitdureja/isabelle-practice
github

rohitdureja

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Exercises from the Prog-Prove manual of Isabelle

More Repositories

1

SimplePDR

A reference implementation of PDR for boolean transition systems
C++
6
star
2

SD-MMC-FatFS-Library-for-Tiva

A port of the FatFS library for Texas Instruments ARM microcontrollers
C
5
star
3

Network-Packet-Sniffer

A powerful network packet sniffer for collecting socket-connection information and data, extract SMTP e-mail messages and profile active connections
C
4
star
4

FuseIC3

An Algorithm for Checking Large Design Spaces
C++
4
star
5

freeRTOS-Launchpad-Demo

A defined port of freeRTOS to run on the Tiva Launchpad
Puppet
1
star
6

Real-Time-Polling-System

A real-time polling system using SunRPC.
C
1
star
7

USB-CDC-Class-Driver-for-Tiva

An API to use with the USB CDC device class on Tiva microcontrollers for serial port communication.
C
1
star