Contents

require "bundler/gem_tasks"
require "rspec/core/rake_task"

require "./examples/lemma_verification"

RSpec::Core::RakeTask.new(:spec)

desc "perform verification tests"
task :verify do
  Noam::LemmaVerification.run
end

Version data entries

2 entries across 2 versions & 1 rubygems

Version	Path
noam_lemma-0.2.1.1	Rakefile
noam_lemma-0.2.1	Rakefile