theoremts-plugins

import { defineConfig } from 'vite'; import { theoremVite } from 'theoremts-plugins/vite'; // This configuration demonstrates how to integrate the theoremVite plugin // into a standard Vite project. The plugin will automatically detect // and strip Theorem contracts from your code during the build process, // ensuring that they do not incur any runtime overhead in production. export default defineConfig({ plugins: [ // Initialize the theoremVite plugin. It's typically added early // in the plugin array to ensure contracts are stripped before other // transformations that might interfere. theoremVite(), // ... other Vite plugins can go here ], // You might also have other Vite configurations here, // such as build options, server settings, etc. build: { sourcemap: true, // Example build option: useful for debugging production issues minify: 'esbuild' // Example: using esbuild for minification }, });