Generated with

gapt/gapt/gapt.formats/gapt.formats.json/gapt.formats.json.nd/NDProofCodec

NDProofCodec

gapt.formats.json.nd.NDProofCodec

object NDProofCodec

Attributes

Source: NDProofCodec.scala
Graph
Supertypes: class Object

trait Matchable

class Any
Self type: NDProofCodec.type

In this article

Generated with